Ciao a tutti

ho un problema, devo estrarre 3 numeri casuali che prendo da un array, il problema sta che il ciclo dura all'infinito, evidentemente sbaglio qualcosa...

posto il codice:

Codice PHP:

  $numbers = array(1,2,3,4,5,6,7,8,9,10);
  $estratti = array();
    

    while (count($estratti) <= 3) {
    
          $nuovo = array_rand($numbers);
                    
          $estratti[] = $numbers[$nuovo];
          
          unset($numbers[$nuovo]);
          
    } 
cosa sbaglio??