un metodo certamente non infallibile sarebbe controllare le ultime lettere del nome del file:
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.Codice PHP:if(substr($file,-3) == 'txt')
print 'è un file TXT
';
Forse meglio è allora usare il content_type:
Codice PHP:if(mime_content_type($file) == 'text/plain')
print 'è un file TXT
';

Rispondi quotando