Как удалить случайные строки из текстового файла с помощью PHP

Question

Скажем, у меня есть текстовый файл с кучей строк (реальный текстовый файл имеет намного больше):

Testing
Test
Another line
Blah
ABCDEFG

Как я могу удалить случайное количество строк из этого файла с помощью PHP? Это означает, что я могу указать, сколько строк я хочу удалить случайным образом.

Из того, что я знаю до сих пор, я считаю, что мне нужно было бы поместить строки в массив и случайно удалить их оттуда. Однако я не знаю, как это сделать. Я думаю, мне может понадобиться shuffle(), но я просто хочу быть уверен.

Answer 1

Благодаря помощи в комментариях, похоже, я решил свою проблему!

<?php
$items = file_get_contents("items.txt");
$items = explode("\n", $items);
shuffle($items);
$x = 1;
while ($x <= 800) {
    array_shift($items);
    $x++;
}
print_r($items);
?>

Как и в комментариях, я загрузил файл, разбил его на каждую новую строку, использовал shuffle() на предметах, и запустил цикл времени, используя array_shift() удалить случайные строки.