Manual:$wgSpecialPageGroups

From mediawiki.org
Special pages: $wgSpecialPageGroups
List of special pages, followed by what subtitle they should go under at Special:SpecialPages.
Introduced in version:1.13.0 (r34070)
Deprecated in version:1.21.0 (Gerrit change 41587; git #96a5486e)
Removed in version:1.26.0 (Gerrit change 220819; git #c81540d7)
Allowed values:(array)
Default value:see below

Alternative[edit]

Developer should set the special page group by overriding SpecialPage::getGroupName since gerrit:41587. Wiki admins can override system message specialpages-group-<lowercase specialpage name>.

See also[edit]