Merge "Update MediaWikiTitleCodec to use NamespaceInfo"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 15 Apr 2019 21:40:16 +0000 (21:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 15 Apr 2019 21:40:16 +0000 (21:40 +0000)
commitf767f2a48d5c8d79019e8a9887c649f05eb5b9de
tree1e86325178e1e8553c9d2d86141a34afcb20dd73
parent168f15ba9ec6b62dde086ac674c895a11763ae56
parent69ef837f41b213a4956d3e0e66c33da161033920
Merge "Update MediaWikiTitleCodec to use NamespaceInfo"
includes/ServiceWiring.php
tests/phpunit/includes/TitleTest.php