Remove obsolete GMP info

PHP 7.0 requires GMP 4.2 anyway.


git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@352053 c90b9560-bf6c-de11-be94-00142212c4b1
This commit is contained in:
Christoph Michael Becker 2020-12-13 13:02:26 +00:00
parent bd5bfc56ae
commit 43130349a3
2 changed files with 0 additions and 20 deletions

View file

@ -57,16 +57,6 @@
</para>
</refsect1>
<refsect1 role="notes">
&reftitle.notes;
<note>
<para>
To use the extended base introduced in PHP 5.3.2, then
PHP must be compiled against GMP 4.2.0 or greater.
</para>
</note>
</refsect1>
<refsect1 role="examples">
&reftitle.examples;
<para>

View file

@ -52,16 +52,6 @@
</para>
</refsect1>
<refsect1 role="notes">
&reftitle.notes;
<note>
<para>
To use the extended base introduced in PHP 5.3.2, then
PHP must be compiled against GMP 4.2.0 or greater.
</para>
</note>
</refsect1>
<refsect1 role="examples">
&reftitle.examples;
<para>