rem: content = PR_textToHtml(html); 
add: content = PR_textToHtml(content); 
context: function PR_getInnerHtml(node) {  // inner html is hopelessly broken in Safari 2.0.4 when the content is  // an html description of well formed XML and the containing tag is a PRE   // tag, so we detect that case and emulate innerHTML.  if (null == PR_innerHtmlWorks) {    var testNode = document.createElement('PRE');    testNode.appendChild(        document.createTextNode('<!DOCTYPE foo PUBLIC "foo bar">\n<foo />'));    PR_innerHtmlWorks = !/</.test(testNode.innerHTML);  }  if (PR_innerHtmlWorks) {    var content = node.innerHTML;    // XMP tags contain unescaped entities so require special handling.    if (PR_isRawContent(node)) {       content = PR_textToHtml(html);    }    return content;  }  var out = [];  for (var child = node.firstChild; child; child = child.nextSibling) {    PR_normalizedHtml(child, out);  }  return out.join('');}
meta: 10235	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10235/f97dca0486465d0ccd8418ef80c4e93d2b955ef5/prettify.js/buggy/src/prettify.js