Datei endung auslesen
Samuel Vogel
- php
0 Dieter Raber0 Samuel Vogel0 Tom
0 heiko0 Patrick Kujawa
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,
Hallo,
Eine Moeglichkeit ist strrpos() in Kombination mit substr(). Mit strrpos() ermittelst du die Position des letzten Punktes und mit substr() von dort an die Endung. Eine Extrafunktion gibt es meines Wissens nicht.
Dieter
Danke,
Eine Moeglichkeit ist strrpos() in Kombination mit substr(). Mit strrpos() ermittelst du die Position des letzten Punktes und mit substr() von dort an die Endung. Eine Extrafunktion gibt es meines Wissens nicht.
Aber so hab ich es schon gemacht ich wollte nur wissen wie es anders geht!
samy,
Hello,
Aber so hab ich es schon gemacht ich wollte nur wissen wie es anders geht!
Mit $pinfo = pathinfo($filepath_and_name);
http://de3.php.net/manual/en/function.pathinfo.php
Liebe Grüße aus http://www.braunschweig.de
Tom
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???
such letztes vorkommen des zeichens "." und lass dir den reststring geben strrchr()
http://www.dynamic-webpages.de/php/ref.strings.php
Hallo,
eine direkte Funktion gibt's dafür nicht, aber du kannst das hier machen:
$extension = ".".array_pop(explode(".", $filename));
Gruß,
Patrick