User:EC/common.js: Difference between revisions
< User:EC
Jump to navigation
Jump to search
No edit summary Tag: Reverted |
mNo edit summary Tags: Manual revert Reverted |
||
| Line 1: | Line 1: | ||
$(function() { | $(function(){ | ||
var i = setInterval(function() { | |||
time = mw.config.get('wgBackendResponseTime'); | |||
}) | if(time) { | ||
$('#p-tb-label').last().append('<span style="font-weight: bold; color: green;"> ' + time + ' ms') | |||
clearInterval(i); | |||
} | |||
}, 200); | |||
}); | |||
Revision as of 16:37, 27 July 2023
$(function(){
var i = setInterval(function() {
time = mw.config.get('wgBackendResponseTime');
if(time) {
$('#p-tb-label').last().append('<span style="font-weight: bold; color: green;"> ' + time + ' ms')
clearInterval(i);
}
}, 200);
});