wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-12-18 00:20:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Pager
History
thiemowmde d9bca83ec6 Various code style clean-ups 
For example:
* Use the more meaningful str_contains().
* Add missing type hints.
* Make use of early returns/guard clauses.

Change-Id: Id150d1b17a80ea637a0639a8f2fd7fd017ad23b1
2023-06-23 12:32:12 +02:00
..
AbuseFilterExaminePager.php Remove bits of unused code across the codebase 2023-06-14 19:41:00 +00:00
AbuseFilterHistoryPager.php Various code style clean-ups 2023-06-23 12:32:12 +02:00
AbuseFilterPager.php Various code style clean-ups 2023-06-23 12:32:12 +02:00
AbuseLogPager.php Update moved class WikiMap 2023-04-25 09:52:41 +00:00
GlobalAbuseFilterPager.php pager: Avoid unneeded database connection 2022-12-11 13:06:08 +01:00