mediawiki-extensions-AbuseF.../includes/pagers
2020-10-13 08:36:25 +00:00
..
AbuseFilterExaminePager.php
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