file extension

[Anon]

how can i get the extension of a file.
by using filetype($file) it is giving just "file", but not giving the extension.

if any one knows, pls let me know.

[tanita]

maybe this helps:

if ($REQUEST_METHOD == "POST"){

$imgExt = getFileExtension($imgfile_name);
$imgExt = strtolower($imgExt);

if (($imgExt != "jpg") && ($imgExt != "jpeg")){

echo "<h1>ERROR</h1>Image Endung unbekannt!!!<br>";
echo "<p>Bitte nur <strong>JPEG</strong> image mit Endung .jpg or .jpeg<br><br>";
echo "Dein File hatte folgende Endung: $imgExt</p>\n";

//delete uploaded file ==
unlink($imgfile);
exit();
}

function getFileExtension($str) {

    $i = strrpos($str,".");
    if (!$i) { return ""; }

    $l = strlen($str) - $i;
    $ext = substr($str,$i+1,$l);

    return $ext;

}

Tanja