wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-27 23:40:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../special
History
Niklas Laxström 0f9529e894 Remove unnecessary getPageTitle methods from special pages 
This extension already requires 1.23+

Change-Id: Ia3c50360a56586d349f6181077b680b630507441
2015-11-23 11:17:42 +01:00
..
SpecialAbuseFilter.php Remove unnecessary getPageTitle methods from special pages 2015-11-23 11:17:42 +01:00
SpecialAbuseLog.php Remove unnecessary getPageTitle methods from special pages 2015-11-23 11:17:42 +01:00