mediawiki-extensions-AbuseF.../includes/Pager
Umherirrender 4139e5ef05 pager: Avoid unneeded database connection
Change-Id: Id548d1adab39c4a9b4e7ead4c87510b2fed39ff1
2022-12-11 13:06:08 +01:00
..
AbuseFilterExaminePager.php Clean up AbuseFilterViewExamine and AbuseFilterExaminePager 2022-07-03 11:29:43 +02:00
AbuseFilterHistoryPager.php Add LinkBatch to Special:AbuseFilter/home and /history 2022-07-29 13:56:03 +02:00
AbuseFilterPager.php Special:AbuseFilter: Include primary key for unique pagination 2022-07-29 17:38:13 +02:00
AbuseLogPager.php Merge "Call IContextSource::getAuthority instead of IContextSource::getUser" 2022-07-29 10:25:23 +00:00
GlobalAbuseFilterPager.php pager: Avoid unneeded database connection 2022-12-11 13:06:08 +01:00