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([label], null, true);                        delete context.timeCounters[name];        }    };
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/consoleAPI.js/buggy/extension/content/firebug/consoleAPI.js