Dateiendung ermitteln

< ?php
/**
* Endung der Datei herausfinden
* @param $file Dateiname
* @return mixed var
*/
function getExtension ($file){
$_file=trim("$file");
$getpos=strrpos($_file,".");
if(!$getpos){
		return "";
}
$calc = strlen($_file)-$getpos;
return substr($_file, $getpos+1, $calc);
}
?>

2 thoughts on “Dateiendung ermitteln

  1. Hi,

    diese Variante ist etwas kürzer. Habe allerdings noch nicht die Performance getestet ;-)

    $fileext = end(explode(‘.’,$file));

    Gruß
    Stephan

  2. Ich habe testweise mal 1000 durchläufe mit einer for schleife gemacht.

    Meine Variante: 0.014 Sekunden
    Deine Variante: 0.012 Sekunden

    Für mich ist das eine zu vernachläßigende Zeit ;)

Leave a Reply

Your email address will not be published. Required fields are marked *