title: PHP Ticket ID Generation
body: <p>I am creating a ticket system for learning purposes, and I was wondering how would I create a simple unique ticket ID that would be similiar to this: <code>gD8f-jxS</code></p>
  
  <p>It would have 4 characters of random case in the first part </p>
  
  <p>(letters and numbers are allowed, then it would have a dash, and again 3 random letters or numbers of any case.</p>