MediaWiki  REL1_19
commandLine.inc
Go to the documentation of this file.
00001 <?php
00024 require_once( dirname( __FILE__ ) . '/Maintenance.php' );
00025 
00026 global $optionsWithArgs;
00027 if ( !isset( $optionsWithArgs ) ) {
00028         $optionsWithArgs = array();
00029 }
00030 
00031 class CommandLineInc extends Maintenance {
00032         public function __construct() {
00033                 global $optionsWithArgs;
00034                 parent::__construct();
00035                 foreach ( $optionsWithArgs as $name ) {
00036                         $this->addOption( $name, '', false, true );
00037                 }
00038         }
00039 
00043         protected function maybeHelp( $force = false ) {
00044                 if ( !$force ) {
00045                         return;
00046                 }
00047                 parent::maybeHelp( true );
00048         }
00049 
00050         public function execute() {
00051                 global $args, $options;
00052                 $args = $this->mArgs;
00053                 $options = $this->mOptions;
00054         }
00055 }
00056 
00057 $maintClass = 'CommandLineInc';
00058 require( RUN_MAINTENANCE_IF_MAIN );
00059