From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 3 May 2012 13:01:35 +0200 Subject: Update to MediaWiki 1.19.0 --- resources/mediawiki/mediawiki.user.js | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'resources/mediawiki/mediawiki.user.js') diff --git a/resources/mediawiki/mediawiki.user.js b/resources/mediawiki/mediawiki.user.js index b0176cf4..7f881b0e 100644 --- a/resources/mediawiki/mediawiki.user.js +++ b/resources/mediawiki/mediawiki.user.js @@ -1,5 +1,5 @@ /* - * Implementation for mediaWiki.log stub + * Implementation for mediaWiki.user */ (function( $ ) { @@ -7,7 +7,7 @@ /** * User object */ - function User() { + function User( options, tokens ) { /* Private Members */ @@ -15,9 +15,9 @@ /* Public Members */ - this.options = new mw.Map(); + this.options = options || new mw.Map(); - this.tokens = new mw.Map(); + this.tokens = tokens || new mw.Map(); /* Public Methods */ @@ -176,6 +176,8 @@ }; } - mw.user = new User(); + // Extend the skeleton mw.user from mediawiki.js + // This is kind of ugly but we're stuck with this for b/c reasons + mw.user = new User( mw.user.options, mw.user.tokens ); })(jQuery); \ No newline at end of file -- cgit v1.2.3-54-g00ecf