Merge "Do not allow setting deprecated $wgSpecialPageGroups over extension.json"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 May 2015 04:48:59 +0000 (04:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 May 2015 04:48:59 +0000 (04:48 +0000)
commitaaef99cbb6cdd637bd3ac21f9260ecf31e378d09
tree1c8c1960d2c6227ca1f45cb150fafcebce480b75
parent05aac977eb17629df07f29bf874b23d852ccefff
parentd06aaa9b20774c5db6d6a6a13d76445b7b914129
Merge "Do not allow setting deprecated $wgSpecialPageGroups over extension.json"
docs/extension.schema.json
includes/registration/ExtensionProcessor.php