equal
deleted
inserted
replaced
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 } |
|