un metodo certamente non infallibile sarebbe controllare le ultime lettere del nome del file:
Codice PHP:
if(substr($file,-3) == 'txt')
  print 
'è un file TXT
'

ma in questi casi anche i file che non sono TXT a cui si à cambiato estesione e i file che terminano in 'txt' "per caso" verranno trovato.

Forse meglio è allora usare il content_type:
Codice PHP:
if(mime_content_type($file) == 'text/plain')
  print 
'è un file TXT
'