WebInspector.linkifyURL = function(url, linkText, isExternal) 
WebInspector.linkifyURL = function(url, linkText, classes, isExternal) 
WebInspector.linkifyURL = function(url, linkText, isExternal){    if (linkText === undefined)        linkText = url.escapeHTML();    var className = isExternal ? "webkit-html-external-link" : "webkit-html-resource-link";    var link = "<a href=\"" + url + "\" class=\"" + className + "\" target=\"_blank\">" + linkText + "</a>";    return link;}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/7c8baa446573d0d10ff95f9b705110cf4c25ac2f/inspector.js/buggy/WebCore/page/inspector/inspector.js