Mark options as requiring parameters in addSite.php
authorlens0021 <lorentz0021@gmail.com>
Mon, 2 Dec 2019 01:32:25 +0000 (10:32 +0900)
committerReedy <reedy@wikimedia.org>
Mon, 2 Dec 2019 23:34:47 +0000 (23:34 +0000)
Bug: T239561
Change-Id: Ibd967da45f32c8ea58b8997f15d26ab06f1e14cb

maintenance/addSite.php

index 4953343..7bc292e 100644 (file)
@@ -21,13 +21,13 @@ class AddSite extends Maintenance {
 
                $this->addArg( 'globalid', 'The global id of the site to add, e.g. "wikipedia".', true );
                $this->addArg( 'group', 'In which group this site should be sorted in.', true );
-               $this->addOption( 'language', 'The language code of the site, e.g. "de".' );
-               $this->addOption( 'interwiki-id', 'The interwiki ID of the site.' );
-               $this->addOption( 'navigation-id', 'The navigation ID of the site.' );
+               $this->addOption( 'language', 'The language code of the site, e.g. "de".', false, true );
+               $this->addOption( 'interwiki-id', 'The interwiki ID of the site.', false, true );
+               $this->addOption( 'navigation-id', 'The navigation ID of the site.', false, true );
                $this->addOption( 'pagepath', 'The URL to pages of this site, e.g.' .
-                       ' https://example.com/wiki/\$1.' );
-               $this->addOption( 'filepath', 'The URL to files of this site, e.g. https://example
-               .com/w/\$1.' );
+                       ' https://example.com/wiki/\$1.', false, true );
+               $this->addOption( 'filepath', 'The URL to files of this site, e.g. https://example' .
+                       '.com/w/\$1.', false, true );
 
                parent::__construct();
        }