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