Follow up r72799.

Make this global so the Maps tests can work when called from phpunit.

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index 0720e76..7f84a47 100644 (file)
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -5,6 +5,7 @@
  */
 require( dirname( __FILE__ ) . '/Maintenance.php' );
 
+global $optionsWithArgs;
 if ( !isset( $optionsWithArgs ) ) {
     $optionsWithArgs = array();
 }