00 Stimmen

PHP: Endung einer Datei ermitteln

Frage von Compi | 07.07.2015 um 17:15

Ich möchte die Dateiendung einer beliebigen Datei mit der Hilfe von PHP extrahieren, zum Beispiel um das Format eines Uploads zu bestimmen.

Kennt jemand eine einfache PHP-Funktion dafür? Ungern möchte ich mit den String-Funktionen wie substr, explode, implode, split oder was auch immer hantieren, da muss es doch etwas einfacheres geben.

AntwortenPositivNegativ
3Beste Antwort3 Stimmen

Ja. Es gibt tatsächlich eine sehr einfache Möglichkeit. Sie heißt pathinfo. Hier ist ein kleines Beispiel:

$filename = "/www/htdocs/test.txt";

$ext = pathinfo($filename, PATHINFO_EXTENSION);

echo $ext;

Hier lesen wir mit pathinfo() die Endung der Datei in $filename aus. Die Funktion erwartet als ersten Parameter den Dateinamen und als zweiten Parameter eine Konstante die davon abhängt, was man auslesen möchte. Möglich sind PATHINFO_DIRNAME, PATHINFO_BASENAME, PATHINFO_EXTENSION und PATHINFO_FILENAME.

Als man keine Konstante angibt, wird ein Array mit allen Angaben angelegt. Ein Beispiel dazu findest du im Thema Dateipfad mit PHP in seine Bestandteile (Pfad, Dateiname und Endung) zerlegen.
07.07.2015 um 17:23

AntwortenPositiv Negativ
Antworten

Ähnliche Themen

PHP: Datei Download Skript

Tutorial | 0 Kommentare

CSS Stylesheets in HTML einbinden

Tutorial | 0 Kommentare

PHP: Upload großer Dateien

Tutorial | 0 Kommentare

HTACCESS: URL vereinfachen

Tutorial | 0 Kommentare

Wichtiger Hinweis

Bitte beachten Sie: Die Beiträge auf askingbox.de sind Beiträge von Nutzern und sollen keine professionelle Beratung ersetzen. Sie werden nicht von Unabhängigen geprüft und spiegeln nicht zwingend die Meinung von askingbox.de wieder. Mehr erfahren.

Jetzt mitmachen

Stellen Sie Ihre eigene Frage oder schreiben Sie Ihren eigenen Artikel auf askingbox.de. So gehts.