Allow a lonely "-" as positional argument

Change-Id: I658988c8f955103d6bc4bd1047819a37de0d505d

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index af14bb3..a0ffcb2 100644 (file)
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -696,6 +696,9 @@ abstract class Maintenance {
                                        }
                                        $options[$option] = $param;
                                }
+                       } elseif ( $arg == '-' ) {
+                               # Lonely "-", often used to indicate stdin or stdout.
+                               $args[] = $arg;
                        } elseif ( substr( $arg, 0, 1 ) == '-' ) {
                                # Short options
                                $argLength = strlen( $arg );