generare numeri casuali senza ripetizione

[badaze]

Oppure.

<?php    
$i = 0;    
$array = array();    
while ($i<=7) {        
  $Cas= rand(1,300);        
  if (! in_array($Cas,$array)) {            
    $array[]=$Cas;            
    $i++;        
  }
}    
print_r($array);?>