wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/special
History
umherirrender 9b02538429 Replace deprecated $wgSpecialPageGroups 
$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I92eee336132de57b9759ba67fed1f060bd6a881e
2015-05-15 22:41:09 +02:00
..
SpecialNotifications.php Replace deprecated $wgSpecialPageGroups 2015-05-15 22:41:09 +02:00