I have a function in my code that uses a seed to get a predictable (based on the seed) set of random numbers.
$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);
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?