includes/clientside/firebug/firebugx.js
changeset 1015 17721bad21df
parent 1014 930c1fdd3e9f
child 1016 6d32d80b2192
--- a/includes/clientside/firebug/firebugx.js	Fri May 29 20:22:30 2009 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-if(!("console" in window)||!("firebug" in console)){var names=["log","debug","info","warn","error","assert","dir","dirxml","group","groupEnd","time","timeEnd","count","trace","profile","profileEnd"];window.console={};for(var i=0;i<names.length;++i){window.console[names[i]]=function(){}}};
\ No newline at end of file