Bug #9711 TinyMCE - two editor's plugins missing