https://bugzilla.wikimedia.org/show_bug.cgi?id=38151
Krinkle <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|Unprioritized |Normal Version|unspecified |1.17 --- Comment #1 from Krinkle <[email protected]> 2012-07-03 19:08:49 UTC --- We could probably use the server side User class as a loose inspiration (at least in terms of method names). Currently we have: mw.user: - anonymous(): bool - name(): string|null - options(): mw.Map from module user.options (Preferences from user_options) - tokens(): mw.Map from module user.tokens Renaming name() to getName() would make sense indeed (similar to how version() and state() have been renamed to getVersion() and getState() in mw.loader). And getGroups and getRights matches User.php as well :) -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
