add: } else if (browserVersion.isOpera) { var dummyElement = element.cloneNode(true); renderWhitespaceInTextContent(dummyElement); text = dummyElement.innerText; 
context: function getText(element) {    var text = "";    if(browserVersion.isFirefox && browserVersion.firefoxVersion >= "1.5")    {        var dummyElement = element.cloneNode(true);        renderWhitespaceInTextContent(dummyElement);        text = dummyElement.textContent;    }    else if(element.textContent)    {        text = element.textContent;    }    else if(element.innerText)    {        text = element.innerText;    }    text = normalizeNewlines(text);    text = normalizeSpaces(text);    return text.trim();}
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/5a8720d27b78f43bc0804dedef6bc7cdabbcce34/htmlutils.js/buggy/code/javascript/core/scripts/htmlutils.js