1 files changed, 22 insertions, 0 deletions
diff --git a/5.patch b/5.patch
new file mode 100644
index 0000000..fdd688a
--- /dev/null
+++ b/5.patch
@@ -0,0 +1,22 @@
+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);
+             }
+         }