resourceloader: Document internal mw.loader#jobs property
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 11 Sep 2015 04:37:30 +0000 (05:37 +0100)
committerKrinkle <krinklemail@gmail.com>
Fri, 11 Sep 2015 04:45:41 +0000 (04:45 +0000)
commitd5a7559f9928c2048a0917ee0add5a817a98da60
treec3b4305dcc3941233ff2c1780d85f57f2e25361e
parentc3aa0d2c1e5cf31564d8356922a778db5769e9b7
resourceloader: Document internal mw.loader#jobs property

Also use push() instead of old-fashioned micro-optimising .length
assignment. This is inconsistent with the rest of the code and in
modern browsers push is as fast (or faster; < 0.1% difference).

Change-Id: Iaad007cb7a5f2afcab3f0859d2525d49e86775c0
resources/src/mediawiki/mediawiki.js