jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/380121 )
Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
......................................................................
build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Change-Id: Ib128a52843b2781fb4e8325f64161f503c139372
---
M composer.json
M includes/Contributors.php
M includes/ContributorsHooks.php
M includes/ContributorsTablePager.php
M maintenance/PopulateContributorsTable.php
5 files changed, 5 insertions(+), 5 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/composer.json b/composer.json
index 09e9499..048608e 100644
--- a/composer.json
+++ b/composer.json
@@ -3,7 +3,7 @@
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.9.2",
"jakub-onderka/php-console-highlighter": "0.3.2",
- "mediawiki/mediawiki-codesniffer": "0.12.0"
+ "mediawiki/mediawiki-codesniffer": "13.0.0"
},
"scripts": {
"test": [
diff --git a/includes/Contributors.php b/includes/Contributors.php
index e86a2da..3c68ee8 100644
--- a/includes/Contributors.php
+++ b/includes/Contributors.php
@@ -119,7 +119,7 @@
*/
private function getThresholdedContributors() {
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$opts = $this->getOptions();
$pageId = $this->getTarget()->getArticleID();
$contributors = [];
diff --git a/includes/ContributorsHooks.php b/includes/ContributorsHooks.php
index 5c203cc..6aaa6f4 100644
--- a/includes/ContributorsHooks.php
+++ b/includes/ContributorsHooks.php
@@ -142,7 +142,7 @@
$baseRevId
) {
$dbw = wfGetDB( DB_MASTER );
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$pageId = $article->getId();
$userId = $user->getId();
$text = $user->getName();
diff --git a/includes/ContributorsTablePager.php
b/includes/ContributorsTablePager.php
index cfffcc5..04d63d4 100644
--- a/includes/ContributorsTablePager.php
+++ b/includes/ContributorsTablePager.php
@@ -65,7 +65,7 @@
}
public function getQueryInfo() {
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$prefixKey = $this->target->getPrefixedDBkey();
if ( $this->opts['filteranon'] == true ) {
diff --git a/maintenance/PopulateContributorsTable.php
b/maintenance/PopulateContributorsTable.php
index 095c60b..0535a6b 100644
--- a/maintenance/PopulateContributorsTable.php
+++ b/maintenance/PopulateContributorsTable.php
@@ -23,7 +23,7 @@
public function execute() {
$this->output( "Started processing..\n" );
$dbw = $this->getDB( DB_MASTER );
- $dbr = $this->getDB( DB_SLAVE );
+ $dbr = $this->getDB( DB_REPLICA );
$start = $dbr->selectField( 'revision', 'MIN(rev_page)', false,
__METHOD__ );
if ( !$start ) {
--
To view, visit https://gerrit.wikimedia.org/r/380121
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib128a52843b2781fb4e8325f64161f503c139372
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Contributors
Gerrit-Branch: master
Gerrit-Owner: Libraryupgrader <tools.libraryupgra...@tools.wmflabs.org>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
