User:20after4/common.js

// 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 ( ' + backend + ' )'; $( '' ).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 } ); }