276 // wrapper for window.console

   277 var script = document.createElement('script');

   277 if ( !window.console )

   278 script.type="text/javascript";

   278 {

   279 script.src=scriptPath+"/includes/clientside/firebug/firebug.js";

   279   window.console = {

   280 head.appendChild(script);

   280     log: function() {},

   281 

   281     debug: function() {},

   282 // placeholder for window.console - used if firebug isn't present

   282     info: function() {},

   283 // http://getfirebug.com/firebug/firebugx.js

   283     warn: function() {},

   284 if (!window.console || !console.firebug)

   284     warning: function() {},

   285 {

   285     error: function() {},

   286     var names = ["log", "debug", "info", "warn", "error", "assert", "dir", "dirxml",

   286     write: function() {}

   287     "group", "groupEnd", "time", "timeEnd", "count", "trace", "profile", "profileEnd"];

   287   }

   288 

   289     window.console = {};

   290     for (var i = 0; i < names.length; ++i)

   291         window.console[names[i]] = function() {}

   292 }

   293 

   294 // safari has window.console but not the .debug() method

   295 if ( is_Safari && !window.console.debug )

   296 {

   297   window.console.debug = function() {};