[opencms-dev] -> EDITOR is not defined

[Atul Padha]

Hi,

When I open "installation.html" in the HTML editor, I get the following 
javascript error:

Error: EDITOR is not defined
Source File: 
http://photon:8080/opencms/opencms/system/workplace/scripts/opencms_edithtml.js
Line: 453

opencms_edithtml.js file has
451 ..........
452     TableContextMenu[10] = new ContextMenuItem(LANG_SPLITCELL, 
DECMD_SPLITCELL);
453     EDITOR.EDIT_HTML.focus();
454 }
455 ..........

And EDITOR is not defined in the file. Any idea how to define it?

Thanks,
Atul.