Code mirror (JS code editor) plugin for Wordpress