User:Howief (WMF)/global.js

Note: After publishing, 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 / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
Opera: Press Ctrl-F5.

// Add the backend response time and the PHP runtime (HHVM or PHP5) to the personal bar.
function showBackendPerformance() {
    var backend  = mw.config.get( 'wgPoweredByHHVM' ) ? 'HHVM' : 'PHP5',
        respTime = mw.config.get( 'wgBackendResponseTime' ),
        caption  = respTime.toString() + 'ms (<strong>' + backend + '</strong>)';
 
    $( '<li>' ).html( caption ).prependTo( '#p-personal ul' );
}
 
$( window ).on( 'load', showBackendPerformance );
 
// Set the HHVM cookie on Wikipedia wikis.
if ( /wikipedia/.test( location.hostname ) && ! /hhvm=true/.test( document.cookie ) ) {
    $.cookie( 'hhvm', 'true', { expires: 1 } );
}