Codice PHP:

<?php
if ($dir = @opendir("midi")) {
  while ((
$file readdir($dir)) !== false) { 
    
$file2=str_replace(' ''%20'$file); 
    echo 
"<a href=midi/$file2>$file</a>"."
"
;
  }
  
closedir($dir);
}
?>