void mt_srand
(int seed)
Seeds the random number generator with seed.
// seed with microseconds function make_seed() { list($usec,$sec) = explode(" ", microtime()); return ((float)$sec+(float)$usec) * 100000; } mt_srand(make_seed()); $randval = mt_rand(); |
See also mt_rand(), mt_getrandmax(), srand(), rand(), and getrandmax().