diff options
Diffstat (limited to 'php-8.1.0-parser.patch')
| -rw-r--r-- | php-8.1.0-parser.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/php-8.1.0-parser.patch b/php-8.1.0-parser.patch index f443f1d..2326136 100644 --- a/php-8.1.0-parser.patch +++ b/php-8.1.0-parser.patch @@ -1,7 +1,7 @@ diff -up ./build/gen_stub.php.syslib ./build/gen_stub.php --- ./build/gen_stub.php.syslib 2020-06-25 08:11:51.782046813 +0200 +++ ./build/gen_stub.php 2020-06-25 08:13:11.188860368 +0200 -@@ -1075,6 +1075,12 @@ function initPhpParser() { +@@ -3265,6 +3265,12 @@ function initPhpParser() { } $isInitialized = true; @@ -11,6 +11,6 @@ diff -up ./build/gen_stub.php.syslib ./build/gen_stub.php + return; + } + - $version = "4.12.0"; + $version = "4.13.0"; $phpParserDir = __DIR__ . "/PHP-Parser-$version"; if (!is_dir($phpParserDir)) { |