TinyMCE 3.x Prettify Plugin