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

diff --combined resources/startup.js
index f139570,c6113d4..cd21ecc
--- 1/resources/startup.js
--- 2/resources/startup.js
+++ b/resources/startup.js
@@@ -1,9 -1,11 +1,11 @@@
  /**
   * This script provides a function which is run to evaluate whether or not to
 - * continue loading the jquery and mediawiki modules. This code should work on
 + * continue loading jQuery and the MediaWiki modules. This code should work on
   * 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
   *
@@@ -41,9 -43,7 +43,9 @@@ function isCompatible( ua ) 
                // Opera Mini, all versions
                ua.match( /Opera Mini/ ) ||
                // Nokia's Ovi Browser
 -              ua.match( /S40OviBrowser/ )
 +              ua.match( /S40OviBrowser/ ) ||
 +              // Google Glass browser groks JS but UI is too limited
 +              ( ua.match( /Glass/ ) && ua.match( /Android/ ) )
        );
  }