Merge "PHPVersionCheck: Remove obsolete load.php code and simplify"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Nov 2018 22:42:17 +0000 (22:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Nov 2018 22:42:17 +0000 (22:42 +0000)
commitbeafc6a7f53e4db332cea1fc55e7293cde76684a
treeb59c095a4b10ac89189825c045564efc7dcd1e82
parentb19b1874fa73d16af37c8590ae87d9dcc51cd0c8
parente6763161e73268615ab54965f80d7c2dc84563e0
Merge "PHPVersionCheck: Remove obsolete load.php code and simplify"
maintenance/Maintenance.php