com ottenere l'estensione di un file?

[fede_00]

ciao, come posso ottenere l'estensione di un file con PHP? cioè che mi restituisca se è txt o mdb ecc.
grazie, ciao

[andr3a]

$extension = array_pop( explode( '.', $filename ) );

[fede_00]

grazie, m'ero impantanato su un niente