mediawiki.user: Clean up documentation and minor optimisation
authorTimo Tijhof <krinklemail@gmail.com>
Mon, 15 Jul 2013 09:56:37 +0000 (11:56 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Tue, 17 Sep 2013 17:07:44 +0000 (19:07 +0200)
commit74b2e5c787ca9069eac50c68a0b48bfd2863c6f5
treef14b651c6f52fde0c123afabc113516acf27e8d8
parent504b73570f5fed4396aa1896a6df4101c1867262
mediawiki.user: Clean up documentation and minor optimisation

* Optimise mw.user#id implementation.
* Make documentation more consistent (describe the intent instead
  of the exhibited behaviour, e.g. "Get foo" instead of "Gets foo",
  like most other JS documentation does already).

Change-Id: If9e5dcb7cfed27785c4a15bc3492868f083517f3
resources/mediawiki/mediawiki.user.js