wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-15 18:19:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/pagers
History
jenkins-bot 3e61e886ba Merge "Add an AbuseFilterPermissionManager service"
2020-10-13 08:36:25 +00:00
..
AbuseFilterExaminePager.php Add doc for every class member 2019-03-17 11:40:24 +01:00
AbuseFilterHistoryPager.php Merge "Add an AbuseFilterPermissionManager service" 2020-10-13 08:36:25 +00:00
AbuseFilterPager.php Add an AbuseFilterPermissionManager service 2020-10-10 14:03:29 +02:00
AbuseLogPager.php Add an AbuseFilterPermissionManager service 2020-10-10 14:03:29 +02:00
GlobalAbuseFilterPager.php Delegate some switch cases to the parent in GlobalAFPager 2020-10-07 12:46:52 +02:00