(k) fix minor glitch in installExtension.php

diff --git a/maintenance/installExtension.php b/maintenance/installExtension.php
index e6bed0b..f6b2dff 100644 (file)
--- a/maintenance/installExtension.php
+++ b/maintenance/installExtension.php
@@ -573,7 +573,7 @@ if ( !$repos && file_exists("$tgt/.svn") && is_dir("$tgt/.svn") ) {
 
 if ( !$repos ) $repos = 'http://svn.wikimedia.org/svnroot/mediawiki/trunk/extensions';
 
-if( !isset( $args[0] ) && !$options['list'] ) {
+if( !isset( $args[0] ) && !@$options['list'] ) {
        die( "USAGE: installExtension.php [options] <name> [source]\n" .
                "OPTIONS: \n" . 
                "    --list            list available extensions. <name> is ignored / may be omitted.\n" .