Merge "Disallow overriding services that were set"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Oct 2018 16:20:25 +0000 (16:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Oct 2018 16:20:25 +0000 (16:20 +0000)
commit69ad33b0c248e913d3f840bb3be593416d87949b
treef40b9de669ba9f66456d573b83c040b5c9d62037
parent96361e8866b5e65b70d7235ca8e91d3cab1685fa
parentc70c2e4714ac5186b69319dafd0ace3a0d2d00ab
Merge "Disallow overriding services that were set"
tests/phpunit/MediaWikiTestCase.php