From: Rob Church <robchurch@users.mediawiki.org>
Date: Wed, 28 Jun 2006 19:58:11 +0000 (+0000)
Subject: * Change to use $dbr->getProperty()
X-Git-Tag: 1.31.0-rc.0~56544
X-Git-Url: http://git.cyclocoop.org/%24image?a=commitdiff_plain;h=301cf223ece8231c74f4db1f62e1251043536859;p=lhc%2Fweb%2Fwiklou.git

* Change to use $dbr->getProperty()
---

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'] ) ) {