Merge "Fix display of numeric tag names on Special:Tags"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 7 Aug 2016 21:11:35 +0000 (21:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 7 Aug 2016 21:11:35 +0000 (21:11 +0000)
includes/specials/SpecialTags.php

index 2139949..3ebf5d0 100644 (file)
@@ -128,8 +128,7 @@ class SpecialTags extends SpecialPage {
                        ChangeTags::listExtensionDefinedTags(), true );
 
                // List all defined tags, even if they were never applied
-               $definedTags = array_keys( array_merge(
-                       $this->explicitlyDefinedTags, $this->extensionDefinedTags ) );
+               $definedTags = array_keys( $this->explicitlyDefinedTags + $this->extensionDefinedTags );
 
                // Show header only if there exists atleast one tag
                if ( !$tagStats && !$definedTags ) {