Извлечение строки со случайным номером на PHP

// Извлечение строки со случайным номером.
$ourFile = fopen("textfile.txt", "r");
// Считываем каждую строку файла.
for ($i=0; $s=fgets($ourFile, 10000); $i++) {
  if (mt_rand(0, $i) == 0) $line = $s;
}
echo $line;