jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344744 )
Change subject: resourceloader: Use Date.now() for mw.now() instead of '+new
Date'
......................................................................
resourceloader: Use Date.now() for mw.now() instead of '+new Date'
Now that ES5 is required, use Date.now(). Performs better by not
requiring object construction.
Bug: T160953
Change-Id: Ifea106a325659c2024f40e77ff016db9dc8a55fb
---
M resources/src/startup.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
Jforrester: Looks good to me, but someone else must approve
diff --git a/resources/src/startup.js b/resources/src/startup.js
index e0cdc4d..e8ccba0 100644
--- a/resources/src/startup.js
+++ b/resources/src/startup.js
@@ -15,7 +15,7 @@
navStart = perf && perf.timing &&
perf.timing.navigationStart;
return navStart && typeof perf.now === 'function' ?
function () { return navStart + perf.now(); } :
- function () { return +new Date(); };
+ function () { return Date.now(); };
}() ),
// eslint-disable-next-line no-unused-vars
mediaWikiLoadStart = mwNow();
--
To view, visit https://gerrit.wikimedia.org/r/344744
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifea106a325659c2024f40e77ff016db9dc8a55fb
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
