Fixes r78104 much better than r78344 did. By adding jquery.cookie to the loading...

diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js
index fc7aa10..641459f 100644 (file)
--- a/resources/mediawiki/mediawiki.js
+++ b/resources/mediawiki/mediawiki.js
@@ -335,7 +335,6 @@ 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();
@@ -1143,6 +1142,9 @@ if ( typeof startUp === 'function' ) {
        delete startUp;
 }
 
+// Add jQuery Cookie to initial payload (used in mediaWiki.user)
+mediaWiki.loader.load( 'jquery.cookie' );
+
 // Alias $j to jQuery for backwards compatibility
 window.$j = jQuery;
 window.mw = mediaWiki;