Rename PHP.md to PHP.html