com doc/ja: gmp_random was deleted as of PHP 8 .0.0.: reference/gmp/functions/gmp-random.xml

Commit:    0789871dac948ccdeeb2639a2408a6ba75d70105
Author:    Yoshinari Takaoka <[email protected]>         Tue, 26 Jan 2021 00:38:04 +0900
Parents:   371dace7079b476922fb41298f85cc42d8691647
Branches:  master

Link:       http://git.php.net/?p=doc/ja.git;a=commitdiff;h=0789871dac948ccdeeb2639a2408a6ba75d70105

Log:
gmp_random was deleted as of PHP 8.0.0.

already documented in appendices/migration80/incompatible.xml.

Changed paths:
  M  reference/gmp/functions/gmp-random.xml


Diff:
diff --git a/reference/gmp/functions/gmp-random.xml b/reference/gmp/functions/gmp-random.xml
index 87cb545e2f..7a9211c449 100644
--- a/reference/gmp/functions/gmp-random.xml
+++ b/reference/gmp/functions/gmp-random.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: c035f0005ac3bfc38d9efed218d763329e0c0fd3 Maintainer: hirokawa Status: ready -->
+<!-- EN-Revision: 7431c7296886d6b8481dfda0284789873e1dbea8 Maintainer: hirokawa Status: ready -->
 <!-- Credits: mumumu -->
 <refentry xmlns="http://docbook.org/ns/docbook" xml:id="function.gmp-random">
  <refnamediv>
@@ -9,7 +9,7 @@
  </refnamediv>
 
  <refsynopsisdiv>
-  &warn.deprecated.function-7-2-0;
+  &warn.deprecated.function-7-2-0.removed-8-0-0;
  </refsynopsisdiv>
 
  <refsect1 role="description">