Commit 7ec14e3ca41 for php.net

commit 7ec14e3ca412db12e317258e805340fee13dba1d
Author: Giovanni Giacobbi <giovanni@giacobbi.net>
Date:   Thu Jan 29 12:01:01 2026 +0100

    gen_stub: Fix compatibility with php 7.4 (in PHP-8.5+) (#21075)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index 4a293972f04..57424ac33aa 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -2235,7 +2235,7 @@ public function __clone()

 class EvaluatedValue
 {
-    public /* readonly */ mixed $value;
+    public /* readonly */ /* mixed */ $value;
     public SimpleType $type;
     public Expr $expr;
     public bool $isUnknownConstValue;