Per sapere l'estensione del file puoi anche usare explode().

Codice PHP:
// all'interno del ciclo che legge tutti i file in una determinata cartella

list($nome, $estensione) = explode(".", $file);