Rename: class-wp-html-active-formatting-elements.php