Merge "Use wgNamespaceIds constants instead of hard-coded numbers"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 Dec 2015 00:19:49 +0000 (00:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 Dec 2015 00:19:49 +0000 (00:19 +0000)
commitb18803d1c52ce6d508dfa9cc20be9edce76926a7
treeba93adcdaab4c6ce55b2c16ef0ce91cc214fa070
parent93ab3ef41c339cd1c1140dd69f799b3cd3145b31
parent746f8fc9a81bf7cd96799dd2b3efe7fcc4973c57
Merge "Use wgNamespaceIds constants instead of hard-coded numbers"