Merge "MediaWiki.php: Redirect non-standard title urls to canonical"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Jun 2015 20:22:54 +0000 (20:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Jun 2015 20:22:54 +0000 (20:22 +0000)
commit69ff6f62216700766a996fdc5d80ff10c0431a96
treef87c5b360a97b353b42e27d137064ab245cae470
parentd376133aef5a65c30b0a1d47aef265df0932bc4b
parent155d555b83eca6403e07d2094b074a8ed2f301ae
Merge "MediaWiki.php: Redirect non-standard title urls to canonical"