Rename php_for_4.html to php_for_4.php