0) { $random = rand(0, count($lines) - 1); $line = array_splice($lines, $random, 1); echo "$i. $line[0]
\n"; $i++; }