Content deleted Content added
No edit summary |
No edit summary |
||
Line 22:
if (realTitle) {
var realTitleHTML = realTitle.innerHTML;
var isPasteable = 0;
Line 30:
// calculate whether the title is pasteable
var verifyTitle =
verifyTitle = verifyTitle.charAt(0).toUpperCase() + verifyTitle.substring(1, verifyTitle.length); // uppercase first character
Line 38:
verifyTitle = verifyTitle.substr(wgCanonicalNamespace.length + 1);
} else {
realTitleHTML = wgCanonicalNamespace.replace(/_/g, " ") + ":" + realTitleHTML;
}
}
Line 50 ⟶ 51:
var h1 = document.getElementsByTagName("h1")[0];
if (h1 && isPasteable) {
h1.innerHTML = containsTooMuchHTML ?
if (!containsTooMuchHTML)
realTitleBanner.style.display = "none";
}
document.title =
}
}
|