From 78a041a8ec5064c3f83016356202a8b5b7759964 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 21 Nov 2019 08:41:32 +0100
Subject: - update Console_Getopt to 1.4.3 - drop patches merged upstream

---
 5.patch | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 5.patch

(limited to '5.patch')

diff --git a/5.patch b/5.patch
deleted file mode 100644
index fdd688a..0000000
--- a/5.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-From ed634fd44250abab4f6ad85ae7849d0811a3d128 Mon Sep 17 00:00:00 2001
-From: Remi Collet <remi@remirepo.net>
-Date: Mon, 18 Nov 2019 12:58:50 +0100
-Subject: [PATCH] fix phplint warnings
-
----
- Console/Getopt.php | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/Console/Getopt.php b/Console/Getopt.php
-index 29f86bb..e5793bb 100644
---- a/Console/Getopt.php
-+++ b/Console/Getopt.php
-@@ -123,7 +123,7 @@ public static function doGetopt($version, $args, $short_options, $long_options =
-          * erroneous POSIX fix.
-          */
-         if ($version < 2) {
--            if (isset($args[0]{0}) && $args[0]{0} != '-') {
-+            if (isset($args[0][0]) && $args[0][0] != '-') {
-                 array_shift($args);
-             }
-         }
-- 
cgit