rem: url = tinyMCE.convertURL(url, node, on_save); 
context: function tinyMCE_WebGUI_URLConvertor(url, node, on_save) {	// The next line would have tried formatting the URL, but we don't want it to        url = tinyMCE.convertURL(url, node, on_save);        // Do custom WebUI convertion, replace back ^();        url = url.replace(new RegExp("%5E", "g"), "^");        url = url.replace(new RegExp("%3B", "g"), ";");        url = url.replace(new RegExp("%28", "g"), "(");        url = url.replace(new RegExp("%29", "g"), ")");	url = url.replace(/^\/\^/,"^");	url = url.replace(/http:\/\/\//,"/");	url = url.replace(/^.*(\^\/\;.*)$/,"$1");	url = url.replace(/^.*(\^FileUrl\(.*\)\;.*)$/,"$1");        return url;}
meta: 5314	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5314/785645b2b6ef8887fc0316f3f265fad12f87a181/webgui.js/clean/www/extras/tinymce2/jscripts/webgui.js