GetExtFromFileName

Da Php-faq.org.

[modifica] Come si ottiene l'estensione di un file dato il nome?

Si risolve tutto in modo molto semplice con l'aiuto delle funzioni strrpos e substr di PHP. 

if (($i = strrpos($value, '.')) !== FALSE) {
    echo substr($value, $i+1);
}

Altro approccio (funziona anche con nomi di file che contengono più di un punto, ad esempio httpd.conf.bak): 

//$value è nome del file o il path completo
echo array_pop(explode('.', $value ));

Il codice è molto semplice e l'unica cosa da commentare è il controllo sul valore di ritorno di `strrpos`, presente solo per comportarsi correttamente con i nomi di file senza estensione.

Estratto da "http://www.php-faq.org/GetExtFromFileName"
Strumenti personali