Merge "config: Add new ConfigRepository"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jul 2018 14:40:26 +0000 (14:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jul 2018 14:40:26 +0000 (14:40 +0000)
commit7ca601fd08e9abf7f36ec13164742e143e8efd3f
treec550a61cbb65585f5d50993f421b06b3ae5f99ac
parent32fd2342e5648ec7d37eecb00fc4044a3a7526a9
parent418cb8d9b313a3a8d760bf15d87f0d2557e19cd3
Merge "config: Add new ConfigRepository"
autoload.php
includes/MediaWikiServices.php
includes/ServiceWiring.php
tests/phpunit/includes/MediaWikiServicesTest.php