Update PHP-Parser version in gen_stub

nikic · nikic · commit dd0ec7a55443 · 2021-11-03T12:41:26.000+01:00
This should address the octal issue encountered in #7610.
diff --git 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);

Original file line number	Diff line number	Diff line change
`@@ -3265,7 +3265,7 @@ function initPhpParser() {`
`3265`	`3265`	`}`
`3266`	`3266`
`3267`	`3267`	`$isInitialized = true;`
`3268`		`- $version = "4.12.0";`
	`3268`	`+ $version = "4.13.0";`
`3269`	`3269`	`$phpParserDir = __DIR__ . "/PHP-Parser-$version";`
`3270`	`3270`	`if (!is_dir($phpParserDir)) {`
`3271`	`3271`	`installPhpParser($version, $phpParserDir);`