commandLine.inc

Go to the documentation of this file.

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