rem: } else if(element.innerText) 
add: } else if(element.textContent) { text = element.textContent; } else if(element.innerText) 
context: function getText(element) {    text = "";    if(element.textContent)    {        var dummyElement = element.cloneNode(true);        renderWhitespaceInTextContent(dummyElement);        text = dummyElement.textContent;    } else if(element.innerText)    {        text = element.innerText;    }    text = normalizeNewlines(text);    text = normalizeSpaces(text);    return text.trim();}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/2e116bdabb8431234b230eaf1a46e3ca7c75fb67/htmlutils.js/buggy/code/javascript/core/scripts/htmlutils.js