Don't rely on array() == null
authorKunal Mehta <legoktm@gmail.com>
Wed, 18 Dec 2013 02:49:34 +0000 (18:49 -0800)
committerIAlex <codereview@emsenhuber.ch>
Wed, 18 Dec 2013 06:59:40 +0000 (06:59 +0000)
Just use === null instead.

Change-Id: I6adf066214ad5bf9ae508d190b4e3e3fd92e4736

includes/specials/SpecialBlockList.php

index 5610143..4e4db11 100644 (file)
@@ -230,7 +230,7 @@ class BlockListPager extends TablePager {
        function getFieldNames() {
                static $headers = null;
 
-               if ( $headers == array() ) {
+               if ( $headers === null ) {
                        $headers = array(
                                'ipb_timestamp' => 'blocklist-timestamp',
                                'ipb_target' => 'blocklist-target',