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);
             }
         }