From 5e81f374299a207cf594dd90b5a08dd4dec3f1c0 Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Mon, 14 Dec 2015 18:29:42 -0800 Subject: [PATCH] Document mw.user.options and mw.user.tokens properties Change-Id: If1e4ba0bda0147d9f00f74c823f56ac8b886fc19 --- resources/src/mediawiki/mediawiki.js | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/resources/src/mediawiki/mediawiki.js b/resources/src/mediawiki/mediawiki.js index 322c579428..c25e32767e 100644 --- a/resources/src/mediawiki/mediawiki.js +++ b/resources/src/mediawiki/mediawiki.js @@ -2446,9 +2446,19 @@ }; }() ), - // Skeleton user object. mediawiki.user.js extends this + // Skeleton user object, extended by the 'mediawiki.user' module. + /** + * @class mw.user + * @singleton + */ user: { + /** + * @property {mw.Map} + */ options: new Map(), + /** + * @property {mw.Map} + */ tokens: new Map() }, -- 2.20.1