gmp_random was deleted as of PHP 8.0.0.

already documented in appendices/migration80/incompatible.xml.
This commit is contained in:
Yoshinari Takaoka 2021-01-25 23:00:46 +09:00
parent 1d57cefa52
commit 7431c72968

View file

@ -7,7 +7,7 @@
</refnamediv>
<refsynopsisdiv>
&warn.deprecated.function-7-2-0;
&warn.deprecated.function-7-2-0.removed-8-0-0;
</refsynopsisdiv>
<refsect1 role="description">