Hi!
Ich suche einen PHP-Befehl der mir die Endung einer Datei ausgibt. Ich brauche aber nicht getimagesize[2] sondern wirklich für alle Dateien!
Habe bisher noch nichts im Internet gefunden.
Möchte ein Verzeichnis auslesen und dann Dateien mit einer bestimmten Endung bearbeiten.
Könnt ihr mir helfen?
Tschööö
wie wäre es wenn Du dafür einfach den filenamen nimmst und dann alles bis zum letzten Punkt wegschneidest…?
strrchr – Sucht letztes Vorkommen des gesuchten Zeichens und liefert den Reststring
das auslesen kriegst Du ja offensichtlich schon hin, oder?
Cool, Thx!
Kann ich dann auch die Dateiendung mit einem Array voller Dateiendungen vergleichen? Z.B.:
$extension=jpg
$filetypes = array (‚jpg‘, ‚gif‘);
If ($extension = $filetypes)
{
Mach das
}
Tschööö
das brauchts nicht.
Wenn Du die Überprüfung machst dann machst Du einfach ein OR (bzw „||“)
if ($extention = ".jpg" OR $extention = ".gif" OR $extention = ".png")
{
mach\_dies();
mach\_jenes();
}
Ah, thx!
Cool, Thx!
Kann ich dann auch die Dateiendung mit einem Array voller
Dateiendungen vergleichen? Z.B.:
Das finde ich aufgrund der leichten Erweiterbarkeit gut…
$filetypes = array('jpg','gif','jpeg','png','bmp');
$file='/pics/MyPic.JPG';
$file\_info=pathinfo($file);
$extension=strtolower(file\_info["extension"]);
if (in\_array($extension,$filetypes)) {
....
}
…ist eine effektive Lösung, die immer greift.
Gruß,
Rudy
Hi,
ich nehme immer http://de.php.net/manual/de/function.pathinfo.php
Gruss
Quaser
[Bei dieser Antwort wurde das Vollzitat nachträglich automatisiert entfernt]