WP Editor

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


Benjamin Rojas 90,000+ active installations Tested with 4.6.15 Updated 3 years ago

Syntax Highlighter for Post/Page HTML Editor

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


Space X-Chimp 200+ active installations Tested with 5.2.3 Updated 2 months ago