wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-24 06:03:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../special
History
umherirrender d829d0c0b3 Replace deprecated $wgSpecialPageGroups 
$wgSpecialPageGroups is deprecated since 1.21
override SpecialPage::getGroupName instead

Change-Id: I2d1a3182a554825b24145bacef0f4c7520b92dd5
2015-05-15 21:42:44 +02:00
..
SpecialAbuseFilter.php Replace deprecated $wgSpecialPageGroups 2015-05-15 21:42:44 +02:00
SpecialAbuseLog.php Replace deprecated $wgSpecialPageGroups 2015-05-15 21:42:44 +02:00