diff options
author | Remi Collet <remi@remirepo.net> | 2022-09-14 14:02:41 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2022-09-14 14:02:41 +0200 |
commit | 1a98bc95d31f709e9c4a7ff7e1541980f03a7d32 (patch) | |
tree | 7401e1c09f81abdb25c9695e145723809e53ea74 /php-8.2.0-parser.patch | |
parent | c275578ce46d661552e642c8f21dd68eabd427db (diff) |
update to 8.2.0RC2 (new tag)
add patch from https://github.com/php/php-src/pull/9537
Diffstat (limited to 'php-8.2.0-parser.patch')
-rw-r--r-- | php-8.2.0-parser.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-8.2.0-parser.patch b/php-8.2.0-parser.patch index 1b4cdaa..dcfe617 100644 --- a/php-8.2.0-parser.patch +++ b/php-8.2.0-parser.patch @@ -11,6 +11,6 @@ diff -up ./build/gen_stub.php.syslib ./build/gen_stub.php + return; + } + - $version = "4.14.0"; + $version = "4.15.1"; $phpParserDir = __DIR__ . "/PHP-Parser-$version"; if (!is_dir($phpParserDir)) { |