getrandmax
(PHP 4, PHP 5)
getrandmax — Geeft de grootste mogelijke willekeurige waarde terug
Beschrijving
int getrandmax
( void
)
Geeft de maximale waarde die kan worden teruggeven door rand().
Zie ook: rand(), srand() en mt_getrandmax().