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".