User:Gerbrant/realTitle.js

addOnloadHook(function {	var rtb = document.getElementById("RealTitleBanner");	if(!rtb) return;	rtb.style.display = "none";	document.getElementById("content").		getElementsByTagName("H1").item(0).innerHTML =		document.getElementById("RealTitle").innerHTML; });