Add HTML filetype to PHP files