jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/380122 )

Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
......................................................................


build: Updating mediawiki/mediawiki-codesniffer to 13.0.0

Change-Id: I2c9847850f623b4384e58be734809171ed1fa8bf
---
M SimpleSourceWork.php
M composer.json
M maintenance/swsite.php
3 files changed, 3 insertions(+), 3 deletions(-)

Approvals:
  Umherirrender: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/SimpleSourceWork.php b/SimpleSourceWork.php
index ccaa284..3dee778 100644
--- a/SimpleSourceWork.php
+++ b/SimpleSourceWork.php
@@ -17,7 +17,7 @@
         * @return array
         */
        protected static function loadFromDb( $pageId, $limit = 10 ) {
-               $dbr = wfGetDB( DB_SLAVE );
+               $dbr = wfGetDB( DB_REPLICA );
 
                $rows = $dbr->select(
                        [ 'revision', 'revsrc', 'srcwork', 'swsite' ],
diff --git a/composer.json b/composer.json
index 1f40cca..9a19236 100644
--- a/composer.json
+++ b/composer.json
@@ -2,7 +2,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": {
                "fix": "phpcbf",
diff --git a/maintenance/swsite.php b/maintenance/swsite.php
index c883f58..c6d5b18 100644
--- a/maintenance/swsite.php
+++ b/maintenance/swsite.php
@@ -59,7 +59,7 @@
         */
        public function refreshTable( $table, $prefix ) {
                $dbw = wfGetDB( DB_MASTER );
-               $dbr = wfGetDB( DB_SLAVE );
+               $dbr = wfGetDB( DB_REPLICA );
 
                $rows = $dbr->select(
                        [ 'swsite', $table ],

-- 
To view, visit https://gerrit.wikimedia.org/r/380122
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2c9847850f623b4384e58be734809171ed1fa8bf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CreditsSource
Gerrit-Branch: master
Gerrit-Owner: Libraryupgrader <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to