Use $wgJsMimeType for JavaScript's Mime type
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 28 Oct 2008 12:41:51 +0000 (12:41 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 28 Oct 2008 12:41:51 +0000 (12:41 +0000)
includes/ChangesList.php

index 48c7485..f453687 100644 (file)
@@ -394,14 +394,14 @@ class EnhancedChangesList extends ChangesList {
        *  @ return string
        */
        public function beginRecentChangesList() {
-               global $wgStylePath, $wgStyleVersion;
+               global $wgStylePath, $wgJsMimeType, $wgStyleVersion;
                $this->rc_cache = array();
                $this->rcMoveIndex = 0;
                $this->rcCacheIndex = 0;
                $this->lastdate = '';
                $this->rclistOpen = false;
                $script = Xml::tags( 'script', array(
-                       'type' => 'text/javascript',
+                       'type' => $wgJsMimeType,
                        'src' => $wgStylePath . "/common/enhancedchanges.js?$wgStyleVersion" ), '' );
                return $script;
        }