Merge "Revert "Let install.php detect and inject extensions""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Mar 2018 23:13:41 +0000 (23:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Mar 2018 23:13:41 +0000 (23:13 +0000)
commit9c458249d68fb1956ea8f947e8f5b84fc690d989
tree317500dda71b053bdc5d3076aeb26224099029de
parent51995087f101b654e07b3a660b886a455d7a667b
parent493c2c765f76ac5696351cba3dd9d275e2b46df4
Merge "Revert "Let install.php detect and inject extensions""