* @file * @ingroup Maintenance */ $IP = getenv( 'MW_INSTALL_PATH' ); if ( $IP === false ) { $IP = dirname( __DIR__ ); putenv( "MW_INSTALL_PATH=$IP" ); } require_once "$IP/maintenance/Maintenance.php"; if ( !isset( $argv[1] ) ) { fwrite( STDERR, "This script requires a maintainance script as an argument.\n" . "Usage: runScript.php extensions/Wikibase/lib/maintenance/dispatchChanges\n" ); exit( 1 ); } $scriptFilename = $argv[1]; array_shift( $argv ); $scriptFile = realpath( $scriptFilename ); if ( !$scriptFile ) { fwrite( STDERR, "The MediaWiki script file \"{$scriptFilename}\" does not exist.\n" ); exit( 1 ); } require_once $scriptFile;