WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor.
WPIDE is an advanced File Manager & Code Editor for WordPress. You can edit any files in your wp-content folder, not just plugins and themes.
File manager simplifies file tasks: edit, create, upload, delete, copy, move, rename, compress, extract. No more FTP worries; it's easy to use.
Add syntax highlighting and more to the theme and plugin editor.