From 868a7006a23aa2847a857602e4e73f67a7819453 Mon Sep 17 00:00:00 2001 From: S Page Date: Fri, 7 Jun 2013 23:15:27 -0700 Subject: [PATCH] Fix comment for mw.user.sessionId() Change-Id: I19ab8b6de9f7bfe4418a6cab863ee97b77905795 --- resources/mediawiki/mediawiki.user.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/mediawiki/mediawiki.user.js b/resources/mediawiki/mediawiki.user.js index 9fd2e5e459..6cbe74c581 100644 --- a/resources/mediawiki/mediawiki.user.js +++ b/resources/mediawiki/mediawiki.user.js @@ -124,12 +124,12 @@ }; /** - * Gets a random session ID automatically generated and kept in a cookie. + * Gets a random ID automatically generated and stored in a session cookie. * * This ID is ephemeral for everyone, staying in their browser only until they close * their browser. * - * @return String: User name or random session ID + * @return String: random session ID */ this.sessionId = function () { var sessionId = $.cookie( 'mediaWiki.user.sessionId' ); -- 2.20.1