Merge "MediaWiki.php: Factor out tryNormaliseRedirect"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 Jun 2015 09:14:04 +0000 (09:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 Jun 2015 09:14:04 +0000 (09:14 +0000)
commit0290b14a9ce3157318f52d0897118385fbe14590
tree71b6aaa4c99823fa92e557ba4836fd924b3f114b
parenta72247699b14c7dec7f70657c3a062cd92047f19
parent64431fcf8e467a006073ba6dc7f72f48011e5709
Merge "MediaWiki.php: Factor out tryNormaliseRedirect"