From 2ed25cf8d39795a7025ae5ddbfaf60c948f16433 Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Sat, 15 Aug 2009 12:45:15 +0000 Subject: [PATCH] Changed $wgDBname to wfWikiID() (used for display) to be consistent with other maintenance scripts, also avoid an E_NOTICE since it wasn't declared as global :) --- maintenance/initEditCount.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/initEditCount.php b/maintenance/initEditCount.php index f2bbb49a45..3170d31b6b 100644 --- a/maintenance/initEditCount.php +++ b/maintenance/initEditCount.php @@ -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, -- 2.20.1