includes/clientside/firebug/src/firebugx.js
changeset 1015 17721bad21df
parent 1014 930c1fdd3e9f
child 1016 6d32d80b2192
--- a/includes/clientside/firebug/src/firebugx.js	Fri May 29 20:22:30 2009 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +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