Document mw.user.options and mw.user.tokens properties

Change-Id: If1e4ba0bda0147d9f00f74c823f56ac8b886fc19

diff --git a/resources/src/mediawiki/mediawiki.js b/resources/src/mediawiki/mediawiki.js
index 322c579..c25e327 100644 (file)
--- 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()
                },