diff --git a/build/gen_stub.php b/build/gen_stub.php index 3bf9fb995dc..899033aef9f 100755 --- a/build/gen_stub.php +++ b/build/gen_stub.php @@ -5335,7 +5335,9 @@ function replacePredefinedConstants(string $targetDirectory, array $constMap, ar continue; } - if (stripos($xml, "