title: mt_srand() and srand() - is it necessary to reset the seed to a random number?
body: <p>I have a function in my code that uses a seed to get a predictable (based on the seed) set of random numbers.</p>
  
  <pre><code>$seed = 1234;
  mt_srand($seed);
  
  echo mt_rand(0,10);
  echo mt_rand(0,10);
  echo mt_rand(0,10);
  echo mt_rand(0,10);
  </code></pre>
  
  <p>Is it necessary to call mt_srand() at the end of my function to reset it back to a random seed once I'm done with it?</p>