rem: var ta = HTMLArea.getElementById("textarea", id); return ta ? (new HTMLArea(ta, config)).generate() : null; 
add: var ta = HTMLArea.getElementById("textarea", id); return ta ? (new HTMLArea(ta, config)).generate() : null; 
context: HTMLArea.replace = function(id, config) {  var ta = HTMLArea.getElementById("textarea", id);  return ta ? (new HTMLArea(ta, config)).generate() : null;};
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/70e7091322d161ad5e2256481886617b9211a07f/htmlarea.js/buggy/phpgwapi/js/htmlarea/htmlarea.js