(PHP 3>= 3.0.6, PHP 4 )
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();
Note: Since PHP 4.2.0 it's no longer necessary to seed the random number generator before using it.
See also mt_rand(), mt_getrandmax() and srand().
