Codice PHP:
<?php
$basePath 
"./public";
$dir scandir($basePath);
$immagini = array();
foreach(
$dir as $file){
 if(
substr($file, -3) == 'jpg'){
  
$immagini[] = $file;
 }
}
?>
<script>
    var demoTabs;
    Event.observe(window, "load", function() {
        //Immagini
        var images = [
            "<?php echo implode("\",\n \""$immagini); ?>"
        ];

        new Widget.Fader("defaultDemo", images);

        });
    </script>