From 8f7c5bcf5bba6fd50760de1707202a06978eb863 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 26 Apr 2022 12:19:57 +0200
Subject: update to 8.0.19RC1

---
 php-8.0.0-parser.patch | 16 ----------------
 1 file changed, 16 deletions(-)
 delete 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
deleted file mode 100644
index f5da3b5..0000000
--- a/php-8.0.0-parser.patch
+++ /dev/null
@@ -1,16 +0,0 @@
-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