From d5089620e48e089256aacfe5341d1db2f1130bde Mon Sep 17 00:00:00 2001
From: Leo Koppelkamm <diebuche@users.mediawiki.org>
Date: Mon, 25 Jul 2011 16:54:36 +0000
Subject: [PATCH] mw.user.js: Make sessionId public

---
 resources/mediawiki/mediawiki.user.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/resources/mediawiki/mediawiki.user.js b/resources/mediawiki/mediawiki.user.js
index b0176cf4e5..ac3204cb4e 100644
--- a/resources/mediawiki/mediawiki.user.js
+++ b/resources/mediawiki/mediawiki.user.js
@@ -29,7 +29,7 @@
 		 *
 		 * @return String: Random set of 32 alpha-numeric characters
 		 */
-		function generateId() {
+		this.generateId = function() {
 			var id = '';
 			var seed = '0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz';
 			for ( var i = 0, r; i < 32; i++ ) {
@@ -37,7 +37,7 @@
 				id += seed.substring( r, r + 1 );
 			}
 			return id;
-		}
+		};
 
 		/**
 		 * Gets the current user's name.
@@ -68,7 +68,7 @@
 		this.sessionId = function () {
 			var sessionId = $.cookie( 'mediaWiki.user.sessionId' );
 			if ( typeof sessionId == 'undefined' || sessionId === null ) {
-				sessionId = generateId();
+				sessionId = that.generateId();
 				$.cookie( 'mediaWiki.user.sessionId', sessionId, { 'expires': null, 'path': '/' } );
 			}
 			return sessionId;
@@ -90,7 +90,7 @@
 			}
 			var id = $.cookie( 'mediaWiki.user.id' );
 			if ( typeof id == 'undefined' || id === null ) {
-				id = generateId();
+				id = that.generateId();
 			}
 			// Set cookie if not set, or renew it if already set
 			$.cookie( 'mediaWiki.user.id', id, { 'expires': 365, 'path': '/' } );
-- 
2.20.1