Fixed issue in r78104 where jquery.cookie wouldn't load properly. Changed the mediaWi...

diff --git a/resources/Resources.php b/resources/Resources.php
index c1c0979..9648904 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -326,7 +326,6 @@ return array(
        'mediawiki' => array(
                'scripts' => 'resources/mediawiki/mediawiki.js',
                'debugScripts' => 'resources/mediawiki/mediawiki.log.js',
-               'dependencies' => array( 'jquery.cookie' ),
                'debugRaw' => false
        ),
        'mediawiki.util' => array(

diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js
index 7f20504..0f3a10b 100644 (file)
--- a/resources/mediawiki/mediawiki.js
+++ b/resources/mediawiki/mediawiki.js
@@ -274,6 +274,7 @@ window.mediaWiki = new ( function( $ ) {
                        if ( name ) {
                                return name;
                        }
+                       mediaWiki.loader.load( 'jquery.cookie' );
                        var sessionId = $.cookie( 'mediaWiki.user.sessionId' );
                        if ( typeof sessionId == 'undefined' || sessionId == null ) {
                                sessionId = generateSessionId();