Merge "startup.js: log current time as global 'mediaWikiLoadStart'"

diff --git a/resources/startup.js b/resources/startup.js
index f139570..cd21ecc 100644 (file)
--- a/resources/startup.js
+++ b/resources/startup.js
@@ -4,6 +4,8 @@
  * even the most ancient of browsers, so be very careful when editing.
  */
 
+var mediaWikiLoadStart = ( new Date() ).getTime();
+
 /**
  * Returns false when run in a black-listed browser
  *