About this plugin
This WordPress plugin will help you add pre tags into wp_editor.
WordPress plugin profile
pre Tag For WP Editor
This WordPress plugin will help you add pre tags into wp_editor.
Version1.0
Active installs10
Rating0.0 / 5
Tested toWP 4.7.35