From 721e604a691136471f8af8e9584dcf29a60544b8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1t=C3=A9=20Kocsis?= <kocsismate@woohoolabs.com>
Date: Sun, 30 Oct 2022 14:58:16 +0100
Subject: [PATCH] Do not display the value of UNKNOWN constants in the manual
 (#9843)

---
 build/gen_stub.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build/gen_stub.php b/build/gen_stub.php
index 411f60dc2b7..8cf319ceaea 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -1911,6 +1911,10 @@ class ConstInfo extends VariableLike
     protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string
     {
         $value = EvaluatedValue::createFromExpression($this->value, null, $this->cValue, $allConstInfos);
+        if ($value->isUnknownConstValue) {
+            return null;
+        }
+
         if ($value->originatingConst) {
             return $value->originatingConst->getFieldSynopsisValueString($allConstInfos);
         }