addOption( $name, '', false, true ); } } public function getDbType() { global $wgUseNormalUser; return ( isset( $wgUseNormalUser ) && $wgUseNormalUser ) ? Maintenance::DB_STD : Maintenance::DB_ADMIN; } /** * No help, it would just be misleading since it misses custom options */ protected function maybeHelp( $force = false ) { if ( !$force ) return; parent::maybeHelp( true ); } public function execute() { global $args, $options; $args = $this->mArgs; $options = $this->mOptions; } } $maintClass = 'CommandLineInc'; require( RUN_MAINTENANCE_IF_MAIN );