PHP唯一随机数

什么是生成1到10之间的7个唯一随机数的好方法.
我不能有任何重复.
我可以写一大堆PHP来做这个(使用rand()并将使用过的数字推送到数组上)但必须有一个快速的方法来做到这一点.

任何建议都会很棒.

解决方法:

简单的单线程：

print_r(array_rand(array_fill(1, 10, true), 7));