mediawiki.user: Simplify extension of mw.user
authorFomafix <fomafix@googlemail.com>
Tue, 24 Feb 2015 19:17:27 +0000 (19:17 +0000)
committer[[mw:User:Fomafix]] <gerritpatchuploader@gmail.com>
Tue, 24 Feb 2015 19:17:27 +0000 (19:17 +0000)
commitbbcd4b128cb7350ee65190e601b8d636e109f43b
treea131ae2dd5ed6800106e5a4b716c8ef4477103bd
parenta8c16f64778c09149c6668ab72f6d0b2588517e0
mediawiki.user: Simplify extension of mw.user

The module 'mediawiki.user' depends on module 'mediawiki'.
'mediawiki' already defines mw.user with the properties options and tokens
and initializes them with mw.Map(). A reinitialization is not necessary.

Change-Id: I282a8c0eb62ae960eec495cd8cc94efea9decc2a
resources/src/mediawiki/mediawiki.user.js