Salve a tutti, devo randomizzare un array che contiene i nomi di n immagini. ho già provato con la funzione shuffle() ma non funziona.

posto il codice che utilizzo:
Codice PHP:
$files $files[img1.jpg,...,imgn.jpg//i nomi dei file non hanno il progressivo numerico ma vengono presi da una cartella
foreach($files as $file)
    echo 
'[img]'.$file.'[/img]'
Avete un idea di come fare?
grazie