Datei endung auslesen

[Samuel Vogel]

Hallo,

Ich muss aus einer Pfadangabe mit Dateiname, also /Ordner/Ordner/datei.txt , die Endung auslesen!

Gibt es dazu eine PHP Funktion oder muss ich das mit substr() etc. machen???

Danek für eure Hilfe!

samy,