Content deleted Content added
No edit summary |
No edit summary |
||
Line 5:
// An element with id=DisableRealTitle disables the function.
addOnloadHook(function() {
//try {
var realTitleBanner = document.getElementById("RealTitleBanner");
if (realTitleBanner && !document.getElementById("DisableRealTitle")) {
Line 43:
}
}
//} catch (e) {
/* Something went wrong. */
//}
});
|