var mediaWikiLoadStart = ( new Date() ).getTime();
+if ( !window.performance ) {
+ window.performance = {};
+}
+if ( !performance.mark ) {
+ performance.mark = function () {};
+}
+performance.mark( 'mediaWikiStartUp' );
+
/**
* Returns false for Grade C supported browsers.
*
ua.match( /Opera Mini/ ) ||
// Nokia's Ovi Browser
ua.match( /S40OviBrowser/ ) ||
+ // MeeGo's browser
+ ua.match( /MeeGo/ ) ||
// Google Glass browser groks JS but UI is too limited
( ua.match( /Glass/ ) && ua.match( /Android/ ) )
);