resourceloader: Micro-optimise mw.loader.register version string setting
authorJames D. Forrester <jforrester@wikimedia.org>
Fri, 24 Aug 2018 21:15:42 +0000 (14:15 -0700)
committerKrinkle <krinklemail@gmail.com>
Fri, 24 Aug 2018 21:34:15 +0000 (21:34 +0000)
commit2fca6bc47d220a218923835f455f6a775b9e3394
treeed727e799a771fb4eb98a69fcac2878e3a001bb7
parentcae0ae2c289c423fafcebaf322e74bf61cee3ddb
resourceloader: Micro-optimise mw.loader.register version string setting

23 bytes over 46, so even though it's slightly slower in Chrome this way
it's faster in Firefox and it's close enough that it's not worth worrying
over.

Change-Id: I5e917c6d6caee730e54d1d5bacb0d9b249b515e2
resources/src/startup/mediawiki.js