Rename php_for_1.html to php_for_1.php