Merge "Add and use Title::getOtherPage()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 25 Dec 2014 15:22:36 +0000 (15:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 25 Dec 2014 15:22:36 +0000 (15:22 +0000)
commita300fabb68430e6204eebceb2af9ddbffd72017a
tree40290a0587ac31dc3fcf247c16a3b5bebdca9ca3
parent8c3738e088f377642c540a0ccddb01b16ba7116b
parent24c000ea804d3a730b96bf71d40e1ef5d7241105
Merge "Add and use Title::getOtherPage()"
includes/Title.php
includes/page/WikiPage.php