rem: if (HTMLArea.is_gecko) { if (navigator.productSub < 20021201) { alert("You need at least Mozilla-1.3 Alpha.\n" + "Sorry, your Gecko is not supported."); return false; } if (navigator.productSub < 20030210) { alert("Mozilla < 1.3 Beta is not supported!\n" + "I'll try, though, but it might not work."); } } return HTMLArea.is_gecko || HTMLArea.is_ie; 
add: if (HTMLArea.is_gecko) { if (navigator.productSub < 20021201) { alert("You need at least Mozilla-1.3 Alpha.\n" + "Sorry, your Gecko is not supported."); return false; } if (navigator.productSub < 20030210) { alert("Mozilla < 1.3 Beta is not supported!\n" + "I'll try, though, but it might not work."); } } return HTMLArea.is_gecko || HTMLArea.is_ie; 
context: HTMLArea.checkSupportedBrowser = function() {  if (HTMLArea.is_gecko) {    if (navigator.productSub < 20021201) {      alert("You need at least Mozilla-1.3 Alpha.\n" +            "Sorry, your Gecko is not supported.");      return false;    }    if (navigator.productSub < 20030210) {      alert("Mozilla < 1.3 Beta is not supported!\n" +            "I'll try, though, but it might not work.");    }  }  return HTMLArea.is_gecko || HTMLArea.is_ie;};
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/4d968a51f578e3361a382d6fa8372e519c47ba55/htmlarea.js/clean/phpgwapi/js/htmlarea/htmlarea.js