    getSourceType: function(error)    {        // Errors occurring inside of HTML event handlers look like "foo.html (line 1)"         // so let's try to skip those        if (error.source)            return "syntax";        else if (error.lineNo == 1 && getFileExtension(error.href) != "js")            return "none";        else if (error.category == "css")            return "none";        else if (!error.href || !error.lineNo)            return "none";        else            return "exec";    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/reps.js/buggy/extension/content/firebug/reps.js