jenkins-bot has submitted this change and it was merged.
Change subject: Avoid deprecated Database::getProperty() method
......................................................................
Avoid deprecated Database::getProperty() method
Change-Id: I977f5548203961a91168bd939d481c04b041cf0f
---
M dumpHTML.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
BryanDavis: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dumpHTML.php b/dumpHTML.php
index 61af372..1642dde 100644
--- a/dumpHTML.php
+++ b/dumpHTML.php
@@ -128,7 +128,7 @@
} else {
print "Creating static HTML dump in directory $dest. \n";
$dbr = wfGetDB( DB_SLAVE );
- $server = $dbr->getProperty( 'mServer' );
+ $server = $dbr->getServer();
print "Using database {$server}\n";
if ( !isset( $options['e'] ) ) {
--
To view, visit https://gerrit.wikimedia.org/r/316605
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I977f5548203961a91168bd939d481c04b041cf0f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DumpHTML
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
