atualização de extensões do arquivo html para php