[MediaWiki-commits] [Gerrit] mediawiki...DumpHTML[master]: Avoid deprecated Database::getProperty() method

2016-10-18 Thread jenkins-bot (Code Review) 
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 
Gerrit-Reviewer: BryanDavis 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...DumpHTML[master]: Avoid deprecated Database::getProperty() method

2016-10-18 Thread Aaron Schulz (Code Review) 
Aaron Schulz has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/316605

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/DumpHTML 
refs/changes/05/316605/1

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: newchange
Gerrit-Change-Id: I977f5548203961a91168bd939d481c04b041cf0f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DumpHTML
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits