Dateiendung
Autor
Flitze
Klicks 15198
Keywords:
Dateiendung herausfinden, Dateiendung anzeigen, unbekannte Datei prüfen, Endung einer Datei, file extension
Klicks 15198
Rating für Dateiendung
4.5 von 10
Bewertungen17
Stand
18.06.2009
4.5 von 10
Bewertungen17
Keywords:
Dateiendung herausfinden, Dateiendung anzeigen, unbekannte Datei prüfen, Endung einer Datei, file extension
Breadcrumb:
Tipps » Dateiendung
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