diff -r 685e839d934e -r 3acd624d4f4f includes/clientside/firebug/firebugx.js
--- a/includes/clientside/firebug/firebugx.js	Sun May 11 16:58:58 2008 -0400
+++ b/includes/clientside/firebug/firebugx.js	Sun May 11 16:59:21 2008 -0400
@@ -1,10 +1,1 @@
-
-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
+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