1 files changed, 0 insertions, 22 deletions
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);
-             }
-         }