23 lines
759 B
Diff
23 lines
759 B
Diff
|
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);
|
||
|
|
}
|
||
|
|
}
|