From 4c3a788797fc3a2126632c9150a5b7fe4505b2c0 Mon Sep 17 00:00:00 2001
From: jrfnl <jrfnl@users.noreply.github.com>
Date: Wed, 15 Oct 2025 04:55:51 +0200
Subject: [PATCH] Type juggling: fix incorrect deprecation version info for
 (real)

Page: https://www.php.net/manual/en/language.types.type-juggling.php#language.types.typecasting

The `(real)` cast was deprecated in PHP 7.4 and removed in PHP 8.0.

Refs:
* https://wiki.php.net/rfc/deprecations_php_7_4#the_real_type
* https://www.php.net/manual/en/migration74.deprecated.php#migration74.deprecated.core.real
---
 language/types/type-juggling.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/language/types/type-juggling.xml b/language/types/type-juggling.xml
index 0c87f7200554..3be3b9b4a43f 100644
--- a/language/types/type-juggling.xml
+++ b/language/types/type-juggling.xml
@@ -330,7 +330,8 @@ var_dump($bar);
 
   <warning>
    <simpara>
-    The <literal>(real)</literal> cast alias has been deprecated as of PHP 8.0.0.
+    The <literal>(real)</literal> cast alias has been deprecated as of PHP 7.4.0
+    and removed as of PHP 8.0.0.
    </simpara>
   </warning>