Tipps
Autor
Flitze
Klicks 4950
Bewertungen 13
Rating 5.3
Stand 18.06.2009
Keywords
Dateiendung herausfinden, Dateiendung anzeigen, unbekannte Datei prüfen, Endung einer Datei, file extension
Klicks 4950
Bewertungen 13
Rating 5.3
Stand 18.06.2009
Keywords
Dateiendung herausfinden, Dateiendung anzeigen, unbekannte Datei prüfen, Endung einer Datei, file extension
Dateiendung
Seite : 1 Bewerten
Falls man mal die Dateiendung einer unbekannten Datei herausfinden will, z.B. wenn man einen Ordner mit gemischten Dateien ausließt, kann einem folgende Funktion eventuell behiflich sein
PHP:
$filename ist der Name der Datei
strrpos findet das letzte Vorkommen eines Zeichens in einem String
substr extrahiert von einem String einen Teilstring
Bewerten
PHP:
<?php
function getExtension ($filename)
{
if(strrpos($filename, '.'))
return substr($filename, strrpos($filename, '.')+1);
return false;
}
?>
$filename ist der Name der Datei
strrpos findet das letzte Vorkommen eines Zeichens in einem String
substr extrahiert von einem String einen Teilstring
Bewerten
