mediawiki-extensions-AbuseF.../includes/Pager
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