rem: function tinyMCE_WebGUI_Cleanup(type,content) { return content.replace(new RegExp("&quot;","g"),'"'); 
add: function tinyMCE_WebGUI_Cleanup(type,value) {  if (value != "[object HTMLBodyElement]") { value = value.replace(new RegExp("&quot;", "g"),"\""); } return value; 
context: function tinyMCE_WebGUI_Cleanup(type,content) {	return content.replace(new RegExp("&quot;","g"),'"');}
meta: 1948	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1948/d8a04921e4202fd66a352132c6635c44226424c6/webgui.js/buggy/www/extras/tinymce/jscripts/webgui.js