diff --git a/reference/gmp/functions/gmp-random-seed.xml b/reference/gmp/functions/gmp-random-seed.xml new file mode 100644 index 0000000000..a4faf19695 --- /dev/null +++ b/reference/gmp/functions/gmp-random-seed.xml @@ -0,0 +1,119 @@ + + + + + gmp_random_seed + Sets the RNG seed + + + + &reftitle.description; + + mixedgmp_random_seed + mixedseed + + + + + &reftitle.parameters; + + + + seed + + + The seed to be set for the gmp_random, + gmp_random_bits, and + gmp_random_range functions. + + + &gmp.parameter; + + + + + + + + &reftitle.returnvalues; + + Returns &null; on success. + + + + + &reftitle.errors; + + Issues an E_WARNING and returns &false; if + seed is not valid. + + + + + &reftitle.examples; + + + <function>gmp_random_seed</function> example + + + + &example.outputs; + + + + + + + + + &reftitle.seealso; + + gmp_init + gmp_random + gmp_random_bits + gmp_random_range + + + + + + diff --git a/reference/gmp/versions.xml b/reference/gmp/versions.xml index 9e67c8a9be..952cf29762 100644 --- a/reference/gmp/versions.xml +++ b/reference/gmp/versions.xml @@ -40,6 +40,7 @@ +