From 2fca6bc47d220a218923835f455f6a775b9e3394 Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Fri, 24 Aug 2018 14:15:42 -0700
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/src/startup/mediawiki.js b/resources/src/startup/mediawiki.js
index 98e8f806e3..06eb80e046 100644
--- a/resources/src/startup/mediawiki.js
+++ b/resources/src/startup/mediawiki.js
@@ -1800,7 +1800,7 @@
 						module: {
 							exports: {}
 						},
-						version: version !== undefined ? String( version ) : '',
+						version: String( version || '' ),
 						dependencies: deps || [],
 						group: typeof group === 'string' ? group : null,
 						source: typeof source === 'string' ? source : 'local',
-- 
2.20.1