File manager - Edit - /var/www/ratemypay_dev/vendor/thecodingmachine/safe/generated/8.1/gmp.php
Back
<?php namespace Safe; use Safe\Exceptions\GmpException; /** * @param \GMP|int|string $seed * @throws GmpException * */ function gmp_random_seed($seed): void { error_clear_last(); $safeResult = \gmp_random_seed($seed); if ($safeResult === false) { throw GmpException::createFromPhpError(); } }
| ver. 1.4 |
Github
|
.
| PHP 8.3.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings