Changed $wgDBname to wfWikiID() (used for display) to be consistent with other mainte...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 15 Aug 2009 12:45:15 +0000 (12:45 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Sat, 15 Aug 2009 12:45:15 +0000 (12:45 +0000)
maintenance/initEditCount.php

index f2bbb49..3170d31 100644 (file)
@@ -85,7 +85,7 @@ in $wgDBservers, usually indicating a replication environment.' );
                                $delta = microtime( true ) - $start;
                                $rate = ($delta == 0.0) ? 0.0 : $migrated / $delta;
                                $this->output( sprintf( "%s %d (%0.1f%%) done in %0.1f secs (%0.3f accounts/sec).\n",
-                                       $wgDBname,
+                                       wfWikiID(),
                                        $migrated,
                                        min( $max, $lastUser ) / $lastUser * 100.0,
                                        $delta,