Changes

Jump to navigation Jump to search
debugging
Line 10: Line 10:     
function ReplaceHeader()  
 
function ReplaceHeader()  
−
{     
+
{    alert("ReplaceHeader");
 
   var Hdr;
 
   var Hdr;
 
   Hdr = document.getElementById("top"); if (Hdr) alert("top got");
 
   Hdr = document.getElementById("top"); if (Hdr) alert("top got");
nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW
13,254

edits

Navigation menu