// Fix tinymce.inc