diff --git a/reference/gmp/functions/gmp-random-seed.xml b/reference/gmp/functions/gmp-random-seed.xml index 707bd85298d4..1efacd4915fc 100644 --- a/reference/gmp/functions/gmp-random-seed.xml +++ b/reference/gmp/functions/gmp-random-seed.xml @@ -21,11 +21,10 @@ seed - - The seed to be set for the gmp_random, - gmp_random_bits, and + + The seed to be set for the gmp_random_bits and gmp_random_range functions. - + &gmp.parameter; @@ -84,25 +83,27 @@ // set the seed gmp_random_seed(100); -var_dump(gmp_strval(gmp_random(1))); +var_dump(gmp_strval(gmp_random_bits(10))); // set the seed to something else gmp_random_seed(gmp_init(-100)); -var_dump(gmp_strval(gmp_random_bits(10))); +var_dump(gmp_strval(gmp_random_range(0, 100))); // set the seed to something invalid -var_dump(gmp_random_seed('not a number')); +try { + gmp_random_seed('not a number'); +} catch (\ValueError $e) { + echo $e->getMessage(), PHP_EOL; +} ]]> &example.outputs; @@ -113,7 +114,6 @@ bool(false) &reftitle.seealso; gmp_init - gmp_random gmp_random_bits gmp_random_range