wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-14 17:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Pager
History
jenkins-bot 8ee28b2373 Merge "pager: Declare Title only for local filters"
2022-06-28 21:40:48 +00:00
..
AbuseFilterExaminePager.php Stop using legacy ActorMigration fields 2021-04-19 15:18:47 +10:00
AbuseFilterHistoryPager.php Update incomplete type hints in TablePager subclasses 2021-10-01 08:46:54 +02:00
AbuseFilterPager.php Update incomplete type hints in TablePager subclasses 2021-10-01 08:46:54 +02:00
AbuseLogPager.php Merge "pager: Declare Title only for local filters" 2022-06-28 21:40:48 +00:00
GlobalAbuseFilterPager.php Update incomplete type hints in TablePager subclasses 2021-10-01 08:46:54 +02:00