From 301cf223ece8231c74f4db1f62e1251043536859 Mon Sep 17 00:00:00 2001 From: Rob Church Date: Wed, 28 Jun 2006 19:58:11 +0000 Subject: [PATCH] * Change to use $dbr->getProperty() --- maintenance/dumpHTML.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php index 5e04231920..f87b450fa9 100644 --- a/maintenance/dumpHTML.php +++ b/maintenance/dumpHTML.php @@ -81,7 +81,8 @@ if ( $options['special'] ) { "Starting from page_id $start of $end.\n"); $dbr =& wfGetDB( DB_SLAVE ); - print "Using database {$dbr->mServer}\n"; + $server = $dbr->getProperty( 'mServer' ); + print "Using database {$server}\n"; $wgHTMLDump->doArticles( $start, $end ); if ( !isset( $options['e'] ) ) { -- 2.20.1