Merge "mw.Title/NamespaceInputWidget: Use wgNamespaceIds for namespace constants"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 22 Feb 2016 15:51:02 +0000 (15:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Feb 2016 15:51:02 +0000 (15:51 +0000)
commite857ef14ad2508c87a4a956bbb1a342a7f0be303
tree763549040f2f6364ce47518a59e6b44ac6402afd
parenta399affb658da8e76eb3f06b99f1aefbdd32de58
parent3bc6281f2180335983033c6419b2a519c7417f3b
Merge "mw.Title/NamespaceInputWidget: Use wgNamespaceIds for namespace constants"