Altra alternativa

Codice PHP:
$estensione = array_pop(explode('.',$nome_file));