Merge "Allow additional interwiki prefixes on local interwiki links"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 20 Apr 2014 14:00:22 +0000 (14:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 20 Apr 2014 14:00:22 +0000 (14:00 +0000)
commit79ebb4b0288b709fb53cff8f7ebc5f50221931c9
tree6142cbdc195c1fbab9f771ae573ee06afd39efbe
parent27ca77bdd2512a27c58547d810a5206cc4c12b22
parent5461fd3f2847f455d9db3f3d2887379691557e40
Merge "Allow additional interwiki prefixes on local interwiki links"
includes/title/MediaWikiTitleCodec.php
tests/phpunit/includes/TitleTest.php