wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-12-03 18:16:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Pager
History
Umherirrender daadabced3 pager: Avoid unneeded database connection 
Change-Id: Id548d1adab39c4a9b4e7ead4c87510b2fed39ff1
(cherry picked from commit 4139e5ef05)
2022-12-11 14:09:09 +00:00
..
AbuseFilterExaminePager.php
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
GlobalAbuseFilterPager.php pager: Avoid unneeded database connection 2022-12-11 14:09:09 +00:00