From f796aed696a4ab8da8fdb45a254af5d6f084c659 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 28 Oct 2021 09:37:18 +0200
Subject: rename patch

---
 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 f443f1d..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.12.0";
-     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
-     if (!is_dir($phpParserDir)) {
-- 
cgit