Gerrit Patch Uploader has uploaded a new change for review.
https://gerrit.wikimedia.org/r/192599
Change subject: mediawiki.user: Simplify extension of mw.user
......................................................................
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
---
M resources/src/mediawiki/mediawiki.user.js
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/99/192599/1
diff --git a/resources/src/mediawiki/mediawiki.user.js
b/resources/src/mediawiki/mediawiki.user.js
index 04d9ec6..c6c46bc 100644
--- a/resources/src/mediawiki/mediawiki.user.js
+++ b/resources/src/mediawiki/mediawiki.user.js
@@ -8,8 +8,8 @@
byteToHex = [],
// Extend the skeleton mw.user from mediawiki.js
// This is kind of ugly but we're stuck with this for b/c
reasons
- options = mw.user.options || new mw.Map(),
- tokens = mw.user.tokens || new mw.Map();
+ options = mw.user.options,
+ tokens = mw.user.tokens;
/**
* Get the current user's groups or rights
--
To view, visit https://gerrit.wikimedia.org/r/192599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I282a8c0eb62ae960eec495cd8cc94efea9decc2a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Gerrit Patch Uploader <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
