WP Editor, un editor para temas y plugins en WordPress
WP Editor es un interesante plugin para WordPress que reemplaza el editor de plugins y temas por defecto. Utilizando la integración con CodeMirror y FancyBox para crear un editor más avanzado para ampliar las capacidades de edición. Utilizando Javascript asíncrono y XML (AJAX) para mostrar ficheros y carpetas.