* Fixed bug #7878: Extension cannot override a previously defined htmlArea RTE hotkey