diff --git a/src/command/SimpleCommandMap.php b/src/command/SimpleCommandMap.php
index d54e422b3..aab3a9e8e 100644
--- a/src/command/SimpleCommandMap.php
+++ b/src/command/SimpleCommandMap.php
@@ -71,7 +71,6 @@ use function array_shift;
 use function count;
 use function explode;
 use function implode;
-use function min;
 use function preg_match_all;
 use function strcasecmp;
 use function stripslashes;