Content deleted Content added
No edit summary |
No edit summary |
||
Line 18:
try {
var realTitleBanner = document.getElementById("RealTitleBanner");
if (realTitleBanner) { /* && !document.getElementById("DisableRealTitle")) { */
var realTitle = document.getElementById("RealTitle");
if (realTitle) {
|