// needed in test_RemotePaths.html // needs executescripts true workAround.extScriptToggle = function(){ var a = document.getElementById("extToggler"); var txt = a.firstChild.nodeValue; if(txt == "Ext js file scripttest, Released"){ txt = "Ext js file scripttest, Pushed"; }else{ txt = "Ext js file scripttest, Released"; } var txtNode = document.createTextNode(txt); a.replaceChild(txtNode,a.firstChild); }