From ee54bd6d1959b31afd44dfe79d079e58998ecf08 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Sun, 5 Feb 2017 12:08:17 +0100
Subject: [PATCH] Remove code that does not do anything (array_map() does not
 work by reference)

---
 src/Util/Getopt.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Util/Getopt.php b/src/Util/Getopt.php
index 6cc0163f144..430d228b851 100644
--- a/src/Util/Getopt.php
+++ b/src/Util/Getopt.php
@@ -33,7 +33,6 @@ public static function getopt(array $args, $short_options, $long_options = null)
         }
 
         reset($args);
-        array_map('trim', $args);
 
         while (list($i, $arg) = each($args)) {
             if ($arg == '') {