TinyMCE Preformatted
TinyMCE Preformatted plugin will enable to insert preformatted text like <pre>…</pre> to WordPress Visual Editor.
Etiqueta d'extensions: preformatted
Cipher
Cipher allows commenters to publish (pre-formatted) code.