diff options
Diffstat (limited to 'maintenance/renamewiki.php')
| -rw-r--r-- | maintenance/renamewiki.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/maintenance/renamewiki.php b/maintenance/renamewiki.php index 89c6341b17d6..3cd5099960b8 100644 --- a/maintenance/renamewiki.php +++ b/maintenance/renamewiki.php @@ -32,7 +32,7 @@ class RenameWiki extends Maintenance { $this->addArg( 'olddb', 'Old DB name' ); $this->addArg( 'newdb', 'New DB name' ); } - + public function getDbType() { return Maintenance::DB_ADMIN; } @@ -64,13 +64,13 @@ class RenameWiki extends Maintenance { if ( !preg_match( '!^DB://(.*)$!', $storeURL, $m ) ) { continue; } - + $cluster = $m[1]; - + # Hack $wgExternalServers[$cluster][0]['user'] = $wgDBuser; $wgExternalServers[$cluster][0]['password'] = $wgDBpassword; - + $store = new ExternalStoreDB; $extdb =& $store->getMaster( $cluster ); $extdb->query( "SET table_type=InnoDB" ); |