Merge "Allow reset of global services (redux)."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 May 2016 22:07:44 +0000 (22:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 May 2016 22:07:44 +0000 (22:07 +0000)
commitf7dad57c64db3eb1296894c2d3ae97b9f7f27c4c
tree168364e189de72583d2eea90c61fe9e7d2975e17
parentd33dce5b65c8101e5b0753eac93dac928e64f0c2
parentd7410db0fdf99dab9dcd4244e608383016e2dfb1
Merge "Allow reset of global services (redux)."
includes/GlobalFunctions.php
includes/installer/Installer.php