Merge "mediawiki.language: Implement non-digit-grouping of four-digit numbers"

[lhc/web/wiklou.git] / maintenance / install.php

diff --git a/maintenance/install.php b/maintenance/install.php
index 438e9dc..6249094 100644 (file)
--- a/maintenance/install.php
+++ b/maintenance/install.php
@@ -88,8 +88,6 @@ class CommandLineInstaller extends Maintenance {
                        false, true );
                */
                $this->addOption( 'env-checks', "Run environment checks only, don't change anything" );
-
-               $this->addOption( 'with-extensions', "Detect and include extensions" );
        }
 
        public function getDbType() {