 
  /*--------------------------------------:noTabs=true:tabSize=2:indentSize=2:--
    --  COMPATABILITY FILE
    --  htmlarea.js is now XinhaCore.js  
    --
    --  $HeadURL: http://svn.xinha.python-hosting.com/tags/0.92beta/htmlarea.js $
    --  $LastChangedDate: 2007-01-15 15:28:57 +0100 (Mo, 15 Jan 2007) $
    --  $LastChangedRevision: 659 $
    --  $LastChangedBy: gogo $
    --------------------------------------------------------------------------*/
    
if ( typeof _editor_url == "string" )
{
  // Leave exactly one backslash at the end of _editor_url
  _editor_url = _editor_url.replace(/\x2f*$/, '/');
}
else
{
  alert("WARNING: _editor_url is not set!  You should set this variable to the editor files path; it should preferably be an absolute path, like in '/htmlarea/', but it can be relative if you prefer.  Further we will try to load the editor files correctly but we'll probably fail.");
  _editor_url = '';
}

document.write('<script type="text/javascript" src="'+_editor_url+'XinhaCore.js"></script>');