Merge "Setup: Remove scopedProfileIn() calls"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Aug 2019 23:36:44 +0000 (23:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Aug 2019 23:36:44 +0000 (23:36 +0000)
commitee0be6ef83b17a00c8c9ccae7a606b59f5bd0880
tree820e72f87c20885b59f0f6b04778d072eb3aa4f2
parentd75e186b732172107af3f4a3e54b273fb1e94117
parent5f623ebc1004b6fe3f15e0755be6ccecddc5717c
Merge "Setup: Remove scopedProfileIn() calls"
includes/Setup.php