A Wordpress plugin that adds a code highliter for the Theme and Plugins editor