Changing extension from HTML to PHP