Type juggling: fix incorrect deprecation version info for (real)

php/doc-en@3a97501

Author: mumumu

language/types/type-juggling.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: e587d0655e426f97b3fcb431453da5030e743b23 Maintainer: mumumu Status: ready -->
+<!-- EN-Revision: 3a97501ec4b56ed700facd0163d11faadc58663d Maintainer: mumumu Status: ready -->
 <sect1 xml:id="language.types.type-juggling">
  <title>型の相互変換</title>
 
@@ -339,7 +339,7 @@ var_dump($bar);
 
   <warning>
    <simpara>
-    キャストのエイリアス <literal>(real)</literal> を使うことは、PHP 8.0.0 以降は推奨されなくなっています。
+    キャストのエイリアス <literal>(real)</literal> を使うことは、PHP 7.4.0 以降は推奨されなくなり、PHP 8.0.0 で削除されました。
    </simpara>
   </warning>