Merge "Don't use $wgContentNamespaces directly"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 12 Jul 2016 23:26:38 +0000 (23:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 12 Jul 2016 23:26:38 +0000 (23:26 +0000)
commit7dd1914e734ccd7c2842bb2e18bf4866a4ecbf63
tree65730183a12314c5cd11a8e2f96184ed63d805f4
parent0bcc59f32cdc9d6ac7f61f62b554331ef6df23b9
parent8091e9c6db18f5372470dfdcaaefaf31ed3312e4
Merge "Don't use $wgContentNamespaces directly"
includes/Title.php