MediaWiki
REL1_19
|
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