Rename html.php to HTML.php