User:John/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', // wgPoweredByHHVM is undefined on non-HHVM servers respTime = mw.config.get( 'wgBackendResponseTime' ), caption = respTime.toString + 'ms ( ' + backend + ' )'; $( '' ).html( caption ).prependTo( '#p-personal ul' ); } $( window ).on( 'load', showBackendPerformance );