}
$optionsWithArgs[] = 'conf'; # For specifying the location of LocalSettings.php
$optionsWithArgs[] = 'aconf'; # As above for AdminSettings.php
+$optionsWithArgs[] = 'wiki'; # For specifying the wiki ID
$self = array_shift( $argv );
$IP = ( getenv('MW_INSTALL_PATH') !== false
if ( empty( $wgNoDBParam ) ) {
# Check if we were passed a db name
- $db = array_shift( $args );
+ if ( isset( $options['wiki'] ) ) {
+ $db = $options['wiki'];
+ } else {
+ $db = array_shift( $args );
+ }
list( $site, $lang ) = $wgConf->siteFromDB( $db );
# If not, work out the language and site the old way
} else {
$settingsFile = "$IP/LocalSettings.php";
}
+ if ( isset( $options['wiki'] ) ) {
+ $bits = explode( '-', $options['wiki'] );
+ if ( count( $bits ) == 1 ) {
+ $bits[] = '';
+ }
+ define( 'MW_DB', $bits[0] );
+ define( 'MW_PREFIX', $bits[1] );
+ }
if ( ! is_readable( $settingsFile ) ) {
print "A copy of your installation's LocalSettings.php\n" .