Merge "Tidy up declaration of $wgSiteTypes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Jan 2013 08:31:33 +0000 (08:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Jan 2013 08:31:33 +0000 (08:31 +0000)
commitd431fa0b401b8a01337ce5e2fed6675725fa4407
tree850f0587d85b0b1b6f49100c68e5f12c983cf836
parent5e2eb7f385e22fe3e2a482b77960369d4fc24f96
parentf81a5a6cec0905ff685294de2cee86bc53ed81bb
Merge "Tidy up declaration of $wgSiteTypes"