Merge "Let install.php detect and inject extensions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Mar 2018 08:52:39 +0000 (08:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Mar 2018 08:52:39 +0000 (08:52 +0000)
commite015b76a6927391f25f4123780869452e855da2c
tree68aa7d669ac2db341158b16fd5d25a6313c0a2b3
parenta6abe2ad7a1ed2c8dd29f35a9f6c40f85e12b7ab
parent53926d9d6940eaa7f40086c9cf89af7bc726e73f
Merge "Let install.php detect and inject extensions"