Remove deprecated $wgSpecialPageGroups
authorumherirrender <umherirrender_de.wp@web.de>
Thu, 25 Jun 2015 16:40:18 +0000 (18:40 +0200)
committerKunal Mehta <legoktm@gmail.com>
Sat, 27 Jun 2015 02:19:17 +0000 (19:19 -0700)
commitc81540d7251b468f632791c7187a6f3709087712
tree04d1741d25b1de42ebd5e873cf0284961987b653
parent7740122de8db9d131abacee7ee6e28db22fb3239
Remove deprecated $wgSpecialPageGroups

$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Remove also SpecialPageFactory::setGroup because it no long can set $wgSpecialPageGroups.
Also remove SpecialPageFactory::getGroup along with its setter.

All replaces in extensions can be found under:
https://gerrit.wikimedia.org/r/#/q/status:open+branch:master+topic:wgSpecialPageGroups,n,z
https://gerrit.wikimedia.org/r/#/q/status:merged+branch:master+topic:wgSpecialPageGroups,n,z

Change-Id: I1aa8f98bf326b2e54d7403efbb9f002a106cefc5
RELEASE-NOTES-1.26
includes/DefaultSettings.php
includes/specialpage/SpecialPage.php
includes/specialpage/SpecialPageFactory.php
maintenance/convertExtensionToRegistration.php