HomePhabricator

Do not allow setting deprecated $wgSpecialPageGroups over extension.json

Description

Do not allow setting deprecated $wgSpecialPageGroups over extension.json

$wgSpecialPageGroups is deprecated since 1.21
The code should be migrated to override SpecialPage::getGroupName before
adding an extension.json to the extension, instead of allowing setting
this over extension.json

Also added a warning to convertExtensionToRegistration.php for the no
longer supported global

Change-Id: Idccbe41b649de93548c5b0fca03145da716bcc65

Details

Provenance
UmherirrenderAuthored on
Parents
rMW2e849b40e731: Fix name of South Azerbaijani
Branches
Unknown
Tags
Unknown
ChangeId
Idccbe41b649de93548c5b0fca03145da716bcc65