Merge "Handle extension dependencies in the installer"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Apr 2018 15:18:39 +0000 (15:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Apr 2018 15:18:39 +0000 (15:18 +0000)
commitcb20bab28c37cd84f6489e13fe51d4632885e9df
treef3e6e5895751cbb863159f4c9e2ee2650a295294
parent5e04b618ec8ccd0f04311fad7c508c024052b773
parentc8833d8e8ecc1b60f289f5c1ffdb15b2f6d44f8b
Merge "Handle extension dependencies in the installer"
tests/phpunit/includes/registration/VersionCheckerTest.php