wikimedia / mediawiki

 */

class DeleteBatch extends Maintenance {

	public function __construct() {

		parent::__construct();

		$this->addDescription( 'Deletes a batch of pages' );

		$this->addOption( 'u', "User to perform deletion", false, true );

		$this->addOption( 'r', "Reason to delete page", false, true );

		$this->addOption( 'i', "Interval to sleep between deletions" );

		$this->addArg( 'listfile', 'File with titles to delete, separated by newlines. ' .

			'If not given, stdin will be used.', false );

	}

	public function execute() {

		global $wgUser;

 * @ingroup Maintenance

 */

class GenerateJsonI18n extends Maintenance {

	public function __construct() {

		parent::__construct();

		$this->addDescription( 'Build JSON messages files from a PHP messages file' );

		$this->addArg( 'phpfile', 'PHP file defining a $messages array', false );

		$this->addArg( 'jsondir', 'Directory to write JSON files to', false );

		$this->addOption( 'extension', 'Perform default conversion on an extension',

			false, true );

		$this->addOption( 'supplementary', 'Find supplementary i18n files in subdirs and convert those',

			false, false );

	}

	public function execute() {

		global $IP;

 * @ingroup Maintenance

 */

class MoveBatch extends Maintenance {

	public function __construct() {

		parent::__construct();

		$this->addDescription( 'Moves a batch of pages' );

		$this->addOption( 'u', "User to perform move", false, true );

		$this->addOption( 'r', "Reason to move page", false, true );

		$this->addOption( 'i', "Interval to sleep between moves" );

		$this->addOption( 'noredirects', "Suppress creation of redirects" );

		$this->addArg( 'listfile', 'List of pages to move, newline delimited', false );

	}

	public function execute() {

		global $wgUser;