rem: if(typeof str.replace == 'undefined') str = str.toString();  str = str.replace(/&/ig, "&amp;"); str = str.replace(/</ig, "&lt;"); str = str.replace(/>/ig, "&gt;"); str = str.replace(/\xA0/g, "&nbsp;"); str = str.replace(/\x22/g, "&quot;");   return str; 
add:  str = str.replace(/&/ig, "&amp;"); str = str.replace(/</ig, "&lt;"); str = str.replace(/>/ig, "&gt;"); str = str.replace(/\x22/ig, "&quot;");   return str; 
context: HTMLArea.htmlEncode = function(str) {  if(typeof str.replace == 'undefined') str = str.toString();  // we don't need regexp for that, but.. so be it for now.  str = str.replace(/&/ig, "&amp;");  str = str.replace(/</ig, "&lt;");  str = str.replace(/>/ig, "&gt;");  str = str.replace(/\xA0/g, "&nbsp;"); // Decimal 160, non-breaking-space  str = str.replace(/\x22/g, "&quot;");  // \x22 means '"' -- we use hex reprezentation so that we don't disturb  // JS compressors (well, at least mine fails.. ;)  return str;};
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/70e7091322d161ad5e2256481886617b9211a07f/htmlarea.js/buggy/phpgwapi/js/htmlarea/htmlarea.js