What is the best way to upload an HTML document into a textarea using a file upload in PHP?

When uploading an HTML document using a file upload in PHP, you need to ensure that the file is properly read and its contents are inserted into a textarea element. One way to achieve this is by using the file_get_contents() function to read the contents of the uploaded file and then outputting it within the textarea element.

<?php
if(isset($_FILES['html_file'])) {
    $html_content = file_get_contents($_FILES['html_file']['tmp_name']);
    echo '<textarea>' . htmlspecialchars($html_content) . '</textarea>';
}
?>

<form method="post" enctype="multipart/form-data">
    <input type="file" name="html_file">
    <input type="submit" value="Upload">
</form>