Renamed .html to .php so GitHub does PHP highlighting