From dd3d8ba784be3323145b860f2403abca0e188c06 Mon Sep 17 00:00:00 2001 From: Thomas Punt Date: Sun, 16 Aug 2015 20:22:31 +0000 Subject: [PATCH] Document gmp_random_seed() function git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@337506 c90b9560-bf6c-de11-be94-00142212c4b1 --- reference/gmp/functions/gmp-random-seed.xml | 119 ++++++++++++++++++++ reference/gmp/versions.xml | 1 + 2 files changed, 120 insertions(+) create mode 100644 reference/gmp/functions/gmp-random-seed.xml 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 @@ +