salve!
ho la necessità avendo un range di 20 numeri, di calcolarne 10 random (dei 20) rigorosamente non ripetuti

purtroppo so solo come ricavare i numeri random con
es..
Codice PHP:
print(mt_rand(1,20) . "
"
);
print(
mt_rand(1,20) . "
"
); 
grazie