apri il file con file() che crea gia un array
e poi fai shuffle($array)