diff options
author | Remi Collet <remi@remirepo.net> | 2019-11-21 08:41:32 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-11-21 08:41:32 +0100 |
commit | 78a041a8ec5064c3f83016356202a8b5b7759964 (patch) | |
tree | 65171a482da7995fb62af13ab13c6d33c63565f3 /5.patch | |
parent | 534e8bb4e6d09ae1293f536bc568513d68c98402 (diff) |
- update Console_Getopt to 1.4.3
- drop patches merged upstream
Diffstat (limited to '5.patch')
-rw-r--r-- | 5.patch | 22 |
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); - } - } |