Codice PHP:
list($nome,$estensione) = explode(".",$file);
if(
$estensione != 'php'){
echo 
$file"\n";