Improve mediawiki.js docs:
authorMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 4 Apr 2013 00:23:06 +0000 (20:23 -0400)
committerTimo Tijhof <ttijhof@wikimedia.org>
Thu, 4 Apr 2013 08:44:06 +0000 (10:44 +0200)
commit99688f73a7266012b6313a36e8c6fc7fca1afd85
treea978dd41ed741887457804b279d9c566216e6e3e
parent4e3e636a7c91da6571e362d15d1010f42876674d
Improve mediawiki.js docs:

* Fix an error in the Map.set documentation.
* Use JSDuck formatting in more places.

Change-Id: I5e2d271b45c1dbb33fa67abe4a2cc79380831a23
resources/mediawiki/mediawiki.js