wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-14 09:44:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Pager
History
Matěj Suchánek 95c0978dc6 Clean up AbuseLogPager 
- Make $mConds private and rename it.
- Use the injected permission manager.

Change-Id: Ie92b63da50264226bde5b3b361916bb31fd9448e
2022-02-11 11:21:12 +01: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 Clean up AbuseLogPager 2022-02-11 11:21:12 +01:00
GlobalAbuseFilterPager.php Update incomplete type hints in TablePager subclasses 2021-10-01 08:46:54 +02:00