[PHP] – Dateiendung von URL

Wer in PHP die Dateiendung einer URL auslesen möchte, dem wird dieses kleine Skript hilfreich sein. Es ist relativ einfach gehalten, funktioniert aber super. Theoretisch könnte man noch eine Prüfung einbauen ob überhaupt eine Dateiendung vorhanden ist, diese habe ich weggelassen.

 

Serverumzug

Am heutigen Nachmittag fand ein Serverumzug statt. Der Anbieter ist und bleibt derselbe, allerdings war dies auf Grund eines Tarifwechsels bedingt. Mittlerweile laufen alle Seiten wieder ohne Probleme. Nach dem Umzug gab es ein Problem mit einem veralteten Plugin welches behoben wurde, indem es durch ein neueres Plugin welches auch regelmäßig aktualisiert wird, ersetzt wurde.

Dieser Serverumzug und der Tarifwechsel war für zukünftige Projekte unbedingt vonnöten, dennoch bitte ich die Unannehmlichkeiten zu entschuldigen.