/* disable the site-wide Common.js RealTitle processing, so I can do development on my own local version */ // disable the central title-fixing script. ("onloadFuncts" bit is a hacked version of addOnloadHook that makes our function run first) onloadFuncts.unshift(function(){ var dis = document.createElement("div"); dis.id = "DisableRealTitle"; document.body.appendChild(dis); });