Dateiendung von html zu php geaendert