|
|
Manuel PHP |
|
||
|
|
||||
void mt_srand(int seed);
initialise une meilleure valeur aléatoire avec seed.
// initialise avec les microsecondes depuis la dernière seconde entière
mt_srand((double)microtime()*1000000);
$randval = mt_rand();
Voir aussi mt_rand(), mt_getrandmax(), srand(), rand() et getrandmax().
