Recuperar la extension al subir un archivo

[juanito1712]

Buenas
Estoy haciendo un pagina desde la que poder subir una imagen al servidor el codigo es algo como esto

Código PHP:

  $insertar = $_REQUEST['insertar']; 
if (isset($insertar)) 
{ 
    print($_FILES['imagen']['tmp_name']); 
    $imagen=$_FILES['imagen']['tmp_name']; 
    if (is_uploaded_file ($_FILES['imagen']['tmp_name'])) 
    { 
        switch($imagen) { 
            case eregi('\.jpg', $src): 
            print("has cargado un .jpg"); 
            break; 
            case eregi('\.gif', $src): 
            print("has cargado un .gif"); 
            break; 
            case eregi('\.png', $src): 
            print("has cargado un .png"); 
            break; 
        } 
...  
   

el caso es que el nombre temporal lo pone sin extension por lo tanto el switch no funciona, ¿hay alguna forma de poder recuperar la extension del archivo subido?

[juanito1712]

me auto respondo

$HTTP_POST_FILES['userfile']['type']
El tipo mime del fichero (si el navegador lo proporciona). Un ejemplo podría ser "image/gif".