};
}() ),
- // 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()
},