Merge "Output COPYING files as plain text in Special:Version/License/*"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Jan 2015 23:37:59 +0000 (23:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Jan 2015 23:37:59 +0000 (23:37 +0000)
includes/specials/SpecialVersion.php

index b1d93fb..83fc636 100644 (file)
@@ -109,12 +109,7 @@ class SpecialVersion extends SpecialPage {
                                        $file = $this->getExtLicenseFileName( dirname( $extNode['path'] ) );
                                        if ( $file ) {
                                                $wikiText = file_get_contents( $file );
-                                               if ( !isset( $extNode['license-name'] ) ) {
-                                                       // If the developer did not explicitly set license-name they probably
-                                                       // are unaware that we're now sucking this file in and thus it's probably
-                                                       // not wikitext friendly.
-                                                       $wikiText = "<pre>$wikiText</pre>";
-                                               }
+                                               $wikiText = "<pre>$wikiText</pre>";
                                        }
                                }