wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-23 21:53:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace empty() with a null compare

Browse source 
empty() should only be used to suppress errors
Found by a new phan plugin (T234237)

Change-Id: I5428b4bfe17b5d3a3aca6f07795a1b84af2eaf37
This commit is contained in:
Umherirrender 2023-10-21 20:27:31 +02:00
parent 04b3165ed0
commit 97a8f0ae6c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Pager/AbuseFilterHistoryPager.php
View file

@ -79,7 +79,7 @@ class AbuseFilterHistoryPager extends TablePager {
public function getFieldNames() {
static $headers = null;
if ( !empty( $headers ) ) {
if ( $headers !== null ) {
return $headers;
}