numeros aleatorios diferentes

[GatorV]

Prueba así:

Código php:

$aleatorios = array();
$max = 10;
$i = 0;
do {
      $aleatorio = rand();
      if (!in_array($aleatorio, $aleatorios)) {
             $aleatorios[] = $aleatorio;
             $i++;
      }
      if ($i == $max) {
             break;
      }
} while(true);
 

Saludos.