User:2/common.js

Note: After saving, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Clear the cache in Tools → Preferences

$( function() {
	var i = setInterval(function() {
		var time = mw.config.get( 'wgBackendResponseTime' ),
			hhvm = mw.config.get( 'wgHHVM' ) ? ' (HHVM)' : '';
		if( time ) {
			$( '#p-logo' ).append(
				$('<span/>')
					.attr( 'style', 'font-weight: bold; color: green;' )
					.attr( 'title', mw.config.get('wgHostname') )
					.append( time + ' ms' + hhvm ) );
			clearInterval( i );
		}
	}, 200);
} );