Случайный выбор уникальных строк из файла без занесения последнего в массив

# Подсчитываем кол-во строк в файле.
$f = fopen('anydata.txt', "r");
    $counter = 0;
    while (fgets($f)) {
        $counter++;
    }
fclose($f);
 
# Выбираем 9 случайных строк из файла с попутным выводом их на экран.
$num = 9;
for ($i = 0; $i < $num; $i++) {
    $n = 0;
    $random = mt_rand(0, $counter - 1);
    $f = fopen('anydata.txt', "r");
        while ($n <= $random) {
            $buffer = fgets($f);
            $n++;
        }
        echo "$random : $buffer<br />"; # номер_строки : сама_строка
    fclose($f);
}

<?php
# Подсчитываем кол-во строк в файле.
 
function FileGetCount( $path ) {
    if ( $f = fopen( $path , "r" ) ) {
        $counter = 0;
        while (fgets($f)) { $counter++; }
        fclose($f);
        return $counter;
    }
    return false;
}
function GetRandomArray( $num , $lineCount ) {
    if ( $num > $lineCount ) {
        $num = $lineCount;
    }
 
    $subFunction = function( &$result , &$num , $min , $max ) use(&$subFunction) {
        if ( ( $num <= 0 ) || ( $min > $max ) ) {
            return [];
        }
        $key = mt_rand( $min , $max );
        $result[] = $key;
        $num--;
        if ( mt_rand(0,1) ) {
            $subFunction( $result , $num , $min , $key-1 );
            $subFunction( $result , $num , $key+1 , $max );
        } else {
            $subFunction( $result , $num , $key+1 , $max );
            $subFunction( $result , $num , $min , $key-1 );         
        }
    };
    $result = [];
    $subFunction( $result , $num , 0 , $lineCount - 1 );
    return $result;
}
function EchoRandomLine( $path , $randomMap ) {
    if ( $f = fopen( $path , "r" ) ) {
        $last = 0;
        foreach($randomMap as $line) {
            rewind($f);
            $newLine = $line = $line+1;
            while($newLine--) {
                $buffer = fgets($f);
            }
            echo "$line : $buffer<br />"; # номер_строки : сама_строка
        }
        fclose($f);
        return true;
    }
    return false;
}
 
$path = "line-test.txt";
$countRandomLine = 9;
 
$countLine = FileGetCount( $path );
$randomMap = GetRandomArray( $countRandomLine , $countLine );
EchoRandomLine( $path , $randomMap );

        foreach($randomMap as $line) {
            rewind($f);
            $newLine = $line = $line+1;
            while($newLine--) {
                $buffer = fgets($f);
            }
            echo "$line : $buffer<br />"; # номер_строки : сама_строка
        }

count(file("file.txt"));

// Считываем все строки в массив,
// исключая пустые строки и переносы строк
$file = file("text.txt", FILE_SKIP_EMPTY_LINES | FILE_IGNORE_NEW_LINES);
 
// Количество полученных строк
$cnt = count($file);
 
// Осталось создать массив $numbers с нужным количеством
// рандомных цифр в диапазоне [0, $cnt) и вывести их как
foreach ($numbers as $v)
    echo $file[$v];

function FileGetCount( $path ) {
* * if ( $f = fopen( $path , "r" ) ) {
* * * * $counter = 0;
* * * * while (fgets($f)) { $counter++; }
* * * * fclose($f);
* * * * return $counter;
* * }
* * return false;
}