Merge "Allow moving category pages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 9 May 2014 17:22:13 +0000 (17:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 9 May 2014 17:22:13 +0000 (17:22 +0000)
commit121d3d6738485ef1aa40d8e2eb7b29178d3d537c
treef27ed810f67502ebbc0c59f41f64d592635e4dd8
parent620a46f78904d4100ea2e1ee37e0c0419a8643e6
parentf14e48f4f9bd83d190464b4e9b8844046f51a192
Merge "Allow moving category pages"
includes/DefaultSettings.php