For backwards compatibility with cached HTML generated by MediaWiki 1.17, re-introduc...

diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js
index 7da2821..5770fc8 100644 (file)
--- a/resources/mediawiki/mediawiki.js
+++ b/resources/mediawiki/mediawiki.js
@@ -1175,6 +1175,11 @@ window.mw = window.mediaWiki = new ( function( $ ) {
                        } );
                        return names;
                };
+               
+               /**
+                * For backwards-compatibility with Squid-cached pages. Loads mw.user
+                */
+               this.go = function() { mw.loader.load( 'mediawiki.user' ); };
 
                /* Cache document ready status */