* 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
*
// 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/ ) )
);
}