Update and rename PHP.html to PHP.txt