From dd0ec7a554431acbd9e7edf5ecd2fdb7bce11a68 Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikita.ppv@gmail.com>
Date: Wed, 3 Nov 2021 12:41:04 +0100
Subject: [PATCH] Update PHP-Parser version in gen_stub

This should address the octal issue encountered in #7610.
---
 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 f6e53c2a331..30b0b2fccd9 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -3265,7 +3265,7 @@ function initPhpParser() {
     }
 
     $isInitialized = true;
-    $version = "4.12.0";
+    $version = "4.13.0";
     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
     if (!is_dir($phpParserDir)) {
         installPhpParser($version, $phpParserDir);