Error while copying from wp-includes/html-api/class-wp-html-unsupported-exception.php to wp-includes/Text/Diff/Engine/class-wp-html-unsupported-exception.php