HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Premoderation…

Authored by Umherirrender.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Premoderation 3c29ec008879ff132b7175d064f98736d6d7fb3b

Replace deprecated $wgSpecialPageGroups

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

Change-Id: I50a1e6746c1cd04fc2f029c7ec061e65805cd928