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.
Ähnliche Themen
PHP: Datei Download Skript
Tutorial | 0 Kommentare
Website Performance: Javascript und CSS komprimiert ausliefern und Ladezeiten verkürzen
Tutorial | 0 Kommentare
CSS-Stylesheets in HTML einbinden
Tutorial | 0 Kommentare
E-Mails mit EXE-Anhang versenden
Tipp | 4 Kommentare
PHP: Upload großer Dateien
Tutorial | 0 Kommentare
PHP: Aktuelles Datum und Zeit ermitteln
Tutorial | 0 Kommentare
HTML Formular: Weiterleitung abhängig von Radiobutton oder Checkbox
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.
Ja. Es gibt tatsächlich eine sehr einfache Möglichkeit. Sie heißt pathinfo. Hier ist ein kleines Beispiel:
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