Multiple Mediawiki Installations on the Same Codebase/CommandLine.php

<?
if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) {
	die( "This script must be run from the command line\n" );
}  
 
$baseIP = dirname( __FILE__ ); 
 
array_shift($_SERVER['argv']);
 
if(count($_SERVER['argv'])==0) {
	die("Nothing to do!\n");
}
 
require_once($_SERVER['argv'][0]);
 
?>