Merge "Set MW_INSTALL_PATH in Maintenance.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Apr 2019 20:34:45 +0000 (20:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Apr 2019 20:34:45 +0000 (20:34 +0000)
commit166389272390f58ea04886d561831aff35303078
tree41da7531ef81843be91626be43247db4e157fbc2
parentaffd1dd473c3c453ad68e362385cba17ef9b11f1
parentb46a32c85f192f122554280a550bd35b41588e73
Merge "Set MW_INSTALL_PATH in Maintenance.php"
maintenance/Maintenance.php