Randomizzare un array

[parabondio]

Per chi fosse interessato ho risolto con:

$files = $files[img1.jpg,...,imgn.jpg]
  shuffle($files);
    for($a=0;$a<count($files);$a++){    
      echo "[img]".$files[$a]."[/img]";
  } 

Bye