WordPressには絶対に入れた方がいい WP Editorが便利すぎる件

WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor. テーマの編集・プラグインの編集・記事のHTML編集までマルチに対応 WP Editorを導入することで、テーマの編集やプラグインの編集、記事のHTMLの編集全てに適応されるので、編集の質が格段に向上します。phpやjsファイルを直接操作する人には不可欠なプラグインといっていいでしょう。 標準のエディタのページが、WP Editorによる専用ページにリンクが置き換わります。 保存時にページを更新しない テーマやプラグインの編集にAjax的にページのリロードなしで変更ファイルを上書き保存できるので、変更前の状態に戻すことがエディタ上で容易に行えるようになりま