Generare un numero RANDOM senza duplicato

Il seguente codice in PHP genera un un numero in modalità random ma senza mai ri-proporlo nella generazione randomica.
..un pò come una tombola : una volta “uscito” non può essere ri-utilizzato

[php]

<?php
$initstring="01 02 03 04 05 06 07 08 09 10";
$counter = 1;

do {
$array_string = split(" ", $initstring);
$random = rand(0, (count($array_string)-1) );
echo $array_string[$random]."<hr>";
$initstring = str_replace($array_string[$random], "", trim($initstring));
$initstring = str_replace(" ", " ", trim($initstring));
$counter++;

} while($counter <= 10 );
?>

[/php]

Ringrazio “M.Kutufa” per lo script

numero random in Php, generare numero random in Php, rand generare numeri casuali con PHP, Come generare numeri a caso in PHP, Generazione random di un codice, Generare numeri casuali PHP, Generare numeri casuali in PHP, numero random php, random php non ripetuto