rem: logFormatted(this.formatted, [label], null, true); 
add: logFormatted([label], null, true); 
context:     this.timeEnd = function(name)    {        var time = new Date().getTime();        if (!context.timeCounters)            return;        var timeCounter = context.timeCounters[name];        if (timeCounter)        {            var diff = time - timeCounter;            var label = name + ": " + diff + "ms";            logFormatted(this.formatted, [label], null, true);            delete context.timeCounters[name];        }    };
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/d7980e4f4c00475875b327882b3a7b07ffe56cfb/consoleAPI.js/buggy/extension/content/firebug/consoleAPI.js