From 01001a538a5789c91d7c218729563e15b9ff5e75 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Fri, 4 Jun 2021 15:02:56 +0200
Subject: duplicate php 8.0

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

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

diff --git a/php-8.0.0-parser.patch b/php-8.0.0-parser.patch
new file mode 100644
index 0000000..f5da3b5
--- /dev/null
+++ b/php-8.0.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
+@@ -1075,6 +1075,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.9.0";
+     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
+     if (!is_dir($phpParserDir)) {
-- 
cgit