Sono riuscito nel mio intento, ora posto lo script per chi avesse la stessa esigenza.
Codice PHP:
<?php
//setting
$separator= "/";
$folder= articoli;
$folder_thumb= thumb;
$name= "*.gif";
//inizio ciclo for
foreach (glob("$folder"."$separator"."$name") as $file) {
//creo variabile $filename
//sostituisco $folder con niente in $file per ottenere solo il nome dell'immagine senza directory
$filename= str_replace($folder,"",$file);
//modifico variabile $filename
//sostituisco $separator con niente in $filename per ottenere il nome immagine senza lo /
$filename= str_replace($separator,"",$filename);
//creo variabile $noextension
//sostituisco $name con niente in $filename per ottenere il nome senza estensione .gif
$noextension= str_replace($name,"",$filename);
//printo i risultati per la lista immagini con anteprima
echo"<table><tr><td><img src=\"$folder/$folder_thumb/$filename\"/><a href=\"$file\" class='nav_article' target='_blank'>$noextension</a>
</td></tr></table>
";
}
?>
Ancora grazie a mirkoagrati, se non mi avessi illuminato con il glob()...