wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-23 18:28:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Pager
History
Umherirrender 97a8f0ae6c Replace empty() with a null compare 
empty() should only be used to suppress errors
Found by a new phan plugin (T234237)

Change-Id: I5428b4bfe17b5d3a3aca6f07795a1b84af2eaf37
2023-10-21 20:27:31 +02:00
..
AbuseFilterExaminePager.php Use namespaced Title 2023-08-19 19:49:36 +02:00
AbuseFilterHistoryPager.php Replace empty() with a null compare 2023-10-21 20:27:31 +02:00
AbuseFilterPager.php Merge "Various code style clean-ups" 2023-06-23 18:43:58 +00:00
AbuseLogPager.php Use namespaced Title 2023-08-19 19:49:36 +02:00
GlobalAbuseFilterPager.php Fix various typos and documentation issues 2023-09-04 12:55:17 +02:00