--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/includes/clientside/firebug/src/firebugx.js	Sun May 11 16:59:21 2008 -0400
@@ -0,0 +1,10 @@
+
+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