// needed in test_RemotePaths.html
// needs executescripts true
	obj.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);
	}