Libraryupgrader has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/380276 )
Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 ...................................................................... build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 Change-Id: I569a5737bac05eeb39289bcccf931569c47b836f --- M MergeUser.php M composer.json 2 files changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/UserMerge refs/changes/76/380276/1 diff --git a/MergeUser.php b/MergeUser.php index 6b3e09d..b9cab64 100644 --- a/MergeUser.php +++ b/MergeUser.php @@ -384,7 +384,7 @@ $newusername = Title::makeTitleSafe( NS_USER, $wgContLang->ucfirst( $this->newUser->getName() ) ); # select all user pages and sub-pages - $dbr = wfGetDB( DB_SLAVE ); + $dbr = wfGetDB( DB_REPLICA ); $pages = $dbr->select( 'page', [ 'page_namespace', 'page_title' ], diff --git a/composer.json b/composer.json index 7c63cad..6394fcf 100644 --- a/composer.json +++ b/composer.json @@ -1,7 +1,7 @@ { "require-dev": { "jakub-onderka/php-parallel-lint": "0.9.2", - "mediawiki/mediawiki-codesniffer": "0.12.0", + "mediawiki/mediawiki-codesniffer": "13.0.0", "jakub-onderka/php-console-highlighter": "0.3.2" }, "scripts": { -- To view, visit https://gerrit.wikimedia.org/r/380276 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I569a5737bac05eeb39289bcccf931569c47b836f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/UserMerge Gerrit-Branch: master Gerrit-Owner: Libraryupgrader <tools.libraryupgra...@tools.wmflabs.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits