prova così:

Codice PHP:

<?php

if ($dir = @opendir("midi")) {

  while ((
$file readdir($dir)) !== false) { 
    
$file=str_replace(' ''%20'$file); 
    echo 
"<a href=midi/$file>$file</a>"."
"
;

  }  

  
closedir($dir);

}

?>
ciao