wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-15 10:15:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/pagers
History
jenkins-bot 9530684878 Merge "Use null defaults for search options on Special:AbuseFilter"
2020-10-04 12:56:14 +00:00
..
AbuseFilterExaminePager.php Add doc for every class member 2019-03-17 11:40:24 +01:00
AbuseFilterHistoryPager.php Remove void unset statement 2020-10-01 15:01:06 +02:00
AbuseFilterPager.php Use null defaults for search options on Special:AbuseFilter 2020-10-01 13:35:36 +02:00
AbuseLogPager.php Let sysops see difflinks to deleted revisions on Special:AbuseLog 2020-09-20 15:41:12 +02:00
GlobalAbuseFilterPager.php Use null defaults for search options on Special:AbuseFilter 2020-10-01 13:35:36 +02:00