< ?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);
}
?>