Merge "NamespaceInfo service to replace MWNamespace"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Apr 2019 05:46:24 +0000 (05:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Apr 2019 05:46:24 +0000 (05:46 +0000)
commit013b6fac88f03a7417c09e578a3bf1828e1101c6
tree988a7ee6249216e1b5ce834b972e048b3ed0e4e7
parent70e5ce9a72c420da64d71eb1a9f44b127956533f
parent76661cf129e0dea40edefbd7d35a3f09130572a1
Merge "NamespaceInfo service to replace MWNamespace"
RELEASE-NOTES-1.33
includes/DefaultSettings.php
tests/phpunit/MediaWikiTestCase.php