title: PHP Unique Random Numbers
body: <p>What would be a good way to generate 7 unique random numbers between 1 and 10.
  I can't have any duplicates.
  I could write a chunk of PHP to do this (using rand() and pushing used numbers onto an array) but there must be a quick way to do it.</p>
  
  <p>any advice would be great.</p>