From 7d5d3403077f791cf769c5da31e56e67e0d4a47c Mon Sep 17 00:00:00 2001
From: Giovanni Giacobbi <giovanni@giacobbi.net>
Date: Thu, 29 Jan 2026 10:36:52 +0100
Subject: [PATCH] gen_stub: Fix compatibility with php 7.4

---
 build/gen_stub.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index 4a293972f04ce..57424ac33aa91 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;