blob: b2b88f6e4048db0c30c5c5287ddbcc3e97907dac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
<?php
namespace Safe;
use Safe\Exceptions\GmpException;
/**
*
*
* @param \GMP|string|int $seed The seed to be set for the gmp_random,
* gmp_random_bits, and
* gmp_random_range functions.
*
* A GMP object, an integer or a numeric string.
* @throws GmpException
*
*/
function gmp_random_seed($seed): void
{
error_clear_last();
$result = \gmp_random_seed($seed);
if ($result === false) {
throw GmpException::createFromPhpError();
}
}
|
