For customizing the WordPress HTML Editor button bar