commandLine.inc

Go to the documentation of this file.

<?php
require_once __DIR__ . '/Maintenance.php';
 
// phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix
global $optionsWithArgs, $optionsWithoutArgs, $allowUnregisteredOptions;
 
if ( !isset( $optionsWithArgs ) ) {
    $optionsWithArgs = [];
}
if ( !isset( $optionsWithoutArgs ) ) {
    $optionsWithoutArgs = [];
}
if ( !isset( $allowUnregisteredOptions ) ) {
    $allowUnregisteredOptions = false;
}
 
class CommandLineInc extends Maintenance {
    public function __construct() {
        // phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix
        global $optionsWithArgs, $optionsWithoutArgs, $allowUnregisteredOptions;
 
        parent::__construct();
 
        foreach ( $optionsWithArgs as $name ) {
            $this->addOption( $name, '', false, true );
        }
        foreach ( $optionsWithoutArgs as $name ) {
            $this->addOption( $name, '', false, false );
        }
 
        $this->setAllowUnregisteredOptions( $allowUnregisteredOptions );
    }
 
    protected function maybeHelp( $force = false ) {
        if ( !$force ) {
            return;
        }
        parent::maybeHelp( true );
    }
 
    public function execute() {
        // phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix
        global $args, $options;
 
        $args = $this->mArgs;
        $options = $this->mOptions;
    }
}
 
$maintClass = CommandLineInc::class;
require RUN_MAINTENANCE_IF_MAIN;