← Back
Editing: gmp.php
<?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(); } }
Save File
Cancel