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