User:EC/common.js: Difference between revisions

From GM-RKB
Jump to navigation Jump to search
mNo edit summary
Tags: Manual revert Reverted
No edit summary
Tag: Reverted
Line 1: Line 1:
$(function(){
window.MathJax.text.macros.F = '\\mathbb{F}'; /* Non-standard macro: a finite field */
var i = setInterval(function() {
time = mw.config.get('wgBackendResponseTime');
if(time) {
$('#p-tb-label').last().append('<span style="font-weight: bold; color: green;">&nbsp;' + time + ' ms')
clearInterval(i);
}
}, 200);
});

Revision as of 16:41, 27 July 2023

window.MathJax.text.macros.F = '\\mathbb{F}';  /* Non-standard macro: a finite field */
Retrieved from "http://www.gabormelli.com/RKB/index.php?title=User:EC/common.js&oldid=815772"