User:Jacky720/global.js

window.ajaxRefresh = 30000; /*if (mw.config.wgNamespaceNumber == -1) { alert('test'); document.head.innerHTML += " li {font-family: monospace;} "; }*/