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