/* 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);
});