WP Editor

WP Editor is a plugin for WordPress that replaces the default plugin and theme editors…


Benjamin Rojas 100,000+ active installations Tested with 4.6.11 Updated 2 years ago

Syntax Highlighter for Post/Page HTML Editor

Replaces the defaults WordPress Post/Page HTML Editor with an enhanced editor with syntax highlighting and…


Space X-Chimp 200+ active installations Tested with 4.9.6 Updated 1 week ago