On Thu, Mar 12, 2015 at 10:24 AM, Jason Ji <jason.y.ji(a)gmail.com> wrote:
Thanks for the responses, Brad. Is there some
documentation somewhere for
which modules are loaded by default and which ones aren't (e.g.
mediawiki.api)?
Not that I know of, although I'm not terribly familiar with the details of
ResourceLoader. It appears that the list is 'jquery' and 'mediawiki', but
the latter module includes the mw.config and mw.user objects (and anything
else in mediawiki.js[1] rather than a different file).
[1]:
https://git.wikimedia.org/blob/mediawiki%2Fcore.git/master/resources%2Fsrc%…
--
Brad Jorsch (Anomie)
Software Engineer
Wikimedia Foundation