Merge "block: Avoid use of is_null() PHP function where necessary"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 Jan 2019 16:50:46 +0000 (16:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 Jan 2019 16:50:46 +0000 (16:50 +0000)
includes/actions/HistoryAction.php
includes/collation/NumericUppercaseCollation.php
includes/media/SVGMetadataExtractor.php

index d6b8057..fdf4f85 100644 (file)
@@ -511,7 +511,7 @@ class HistoryPager extends ReverseChronologicalPager {
                        if ( $row->rev_parent_id ) {
                                $revIds[] = $row->rev_parent_id;
                        }
-                       if ( !is_null( $row->user_name ) ) {
+                       if ( $row->user_name !== null ) {
                                $batch->add( NS_USER, $row->user_name );
                                $batch->add( NS_USER_TALK, $row->user_name );
                        } else { # for anons or usernames of imported revisions
index d249640..3f98003 100644 (file)
@@ -35,7 +35,7 @@
 class NumericUppercaseCollation extends UppercaseCollation {
 
        /**
-        * @var $digitTransformLang Language How to convert digits (usually the content language)
+        * @var Language $digitTransformLang How to convert digits (usually the content language)
         */
        private $digitTransformLang;
 
index ca398ff..f8b0c3c 100644 (file)
@@ -74,7 +74,7 @@ class SVGReader {
 
                if ( $size > $wgSVGMetadataCutoff ) {
                        $this->debug( "SVG is $size bytes, which is bigger than $wgSVGMetadataCutoff. Truncating." );
-                       $contents = file_get_contents( $source, false, null, -1, $wgSVGMetadataCutoff );
+                       $contents = file_get_contents( $source, false, null, 0, $wgSVGMetadataCutoff );
                        if ( $contents === false ) {
                                throw new MWException( 'Error reading SVG file.' );
                        }