resourceloader: Make 'script' argument to mw.loader.implement optional
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 21 Jan 2015 00:03:33 +0000 (16:03 -0800)
committerTimo Tijhof <krinklemail@gmail.com>
Wed, 21 Jan 2015 00:03:33 +0000 (16:03 -0800)
commit0e719ce234c7251b47707b8415be5a2fddbdecec
tree4d33123296014690b5e29e8ab5a4812ce6647487
parent4ce0c0da42acfbcc5c68527834f85436efd0ebc1
resourceloader: Make 'script' argument to mw.loader.implement optional

Follows-up 1f393b6.

The others were already made optional (1f393b6), but 'script' was
still required. This caused 4ce0c0da42 to fail since it did sometimes
trim the 'script' argument as well.

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