if ( !isset( $optionsWithArgs ) ) {
$optionsWithArgs = array();
}
+$optionsWithArgs[] = 'conf'; # For specifying the location of LocalSettings.php
$self = array_shift( $argv );
$self = __FILE__;
}
} else {
$wgWikiFarm = false;
- $settingsFile = $IP.'/LocalSettings.php';
+ if ( isset( $options['conf'] ) ) {
+ $settingsFile = $options['conf'];
+ } else {
+ $settingsFile = "$IP/LocalSettings.php";
+ }
if ( ! is_readable( $settingsFile ) ) {
print "A copy of your installation's LocalSettings.php\n" .