Como leo la extension de un archivo del servidor?

[oso96_2000]

Si tiene mas de un punto el nombre del archivo, no dará la extension.. a mi me gusta esto otro:

Código PHP:

  $archivo = "un.archivo.TXT";
$ext = strtolower(array_pop(explode(".",$archivo)));