generateId -> mw.user.generateRandomSessionId
authorOri Livneh <ori@wikimedia.org>
Fri, 4 Jan 2013 21:17:05 +0000 (13:17 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Jan 2013 20:34:33 +0000 (20:34 +0000)
As the existing comment block implies, generating random hashes for
tagging users and sessions is generic and useful enough to merit
exporting it out of closure scope. But 'user.generateId' would be
confusing, so I renamed it to 'generateRandomSessionId' instead.

Change-Id: I08f91a501c6883ab684b6864a93153b0e2dc34fc

resources/mediawiki/mediawiki.user.js

index 5c5c87e..3b2a59c 100644 (file)
@@ -61,7 +61,7 @@
                 *
                 * @return String: Random set of 32 alpha-numeric characters
                 */
-               function generateId() {
+               this.generateRandomSessionId = function () {
                        var i, r,
                                id = '',
                                seed = '0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz';
@@ -70,7 +70,7 @@
                                id += seed.substring( r, r + 1 );
                        }
                        return id;
-               }
+               };
 
                /**
                 * Gets the current user's name.
                this.sessionId = function () {
                        var sessionId = $.cookie( 'mediaWiki.user.sessionId' );
                        if ( typeof sessionId === 'undefined' || sessionId === null ) {
-                               sessionId = generateId();
+                               sessionId = user.generateRandomSessionId();
                                $.cookie( 'mediaWiki.user.sessionId', sessionId, { 'expires': null, 'path': '/' } );
                        }
                        return sessionId;
                        }
                        id = $.cookie( 'mediaWiki.user.id' );
                        if ( typeof id === 'undefined' || id === null ) {
-                               id = generateId();
+                               id = user.generateRandomSessionId();
                        }
                        // Set cookie if not set, or renew it if already set
                        $.cookie( 'mediaWiki.user.id', id, {