Rename 'class-wp-html-attribute-token.php'