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(){}}};

     2 if (!("console" in window) || !("firebug" in console))

     3 {

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

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

     6 

     7     window.console = {};

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

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

    10 }