From f36f49380e65a68cbb372121ab1d175e1f8233e4 Mon Sep 17 00:00:00 2001 From: aude Date: Tue, 5 Nov 2013 15:54:16 +0000 Subject: [PATCH] Add convenience maintenance script wrapper Useful for scripts or extensions installed in non-standard locations. Example usage: php maintenance/runScript.php extensions/Wikibase/lib/maintenance/dispatchChanges.php Change-Id: I6ffc72f41f3f96dd535a427d90c7166372459bd2 --- maintenance/runScript.php | 64 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 64 insertions(+) create mode 100644 maintenance/runScript.php diff --git a/maintenance/runScript.php b/maintenance/runScript.php new file mode 100644 index 0000000000..385db15736 --- /dev/null +++ b/maintenance/runScript.php @@ -0,0 +1,64 @@ + + * @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; -- 2.20.1