WordPress.org

WP Editor

WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor.

• Version 1.2.1
• Updated 2013-4-14
• Downloads 53,104
• Average Rating
  4 stars

Synchi

A full IDE inside your WordPress! Powerfull IDE features in WP plugin editor, themes editor, articles HTML editor and text/HTML widgets editor.

• Version 5.0
• Updated 2013-1-26
• Downloads 2,999
• Average Rating
  4 stars