From 627e1502d5206fc341ffb78824c46ac1dc6adb1e Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Wed, 30 Aug 2023 10:48:34 +0200
Subject: duplicate 8.2

---
 php-8.2.0-parser.patch | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 php-8.2.0-parser.patch

(limited to 'php-8.2.0-parser.patch')

diff --git a/php-8.2.0-parser.patch b/php-8.2.0-parser.patch
new file mode 100644
index 0000000..dcfe617
--- /dev/null
+++ b/php-8.2.0-parser.patch
@@ -0,0 +1,16 @@
+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
+@@ -3265,6 +3265,12 @@ function initPhpParser() {
+     }
+ 
+     $isInitialized = true;
++
++    if (file_exists('/usr/share/php/PhpParser4/autoload.php')) {
++        require_once '/usr/share/php/PhpParser4/autoload.php';
++        return;
++    }
++
+     $version = "4.15.1";
+     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
+     if (!is_dir($phpParserDir)) {
-- 
cgit