Remove HTML editor from admin dashboard

This plugin removes the HTML editor from admin dashboard for restricted access to the theme files.