[MediaWiki-commits] [Gerrit] mediawiki...Renameuser[master]: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/380235 )
Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
..
build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Change-Id: I9326652a49116b9b0459b465d08b228fe4b60726
---
M composer.json
M maintenance/renameUserCleanup.php
M specials/SpecialRenameuser.php
3 files changed, 4 insertions(+), 4 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
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": {
diff --git a/maintenance/renameUserCleanup.php
b/maintenance/renameUserCleanup.php
index 136a663..74ec452 100644
--- a/maintenance/renameUserCleanup.php
+++ b/maintenance/renameUserCleanup.php
@@ -87,7 +87,7 @@
* @param User $newuser
*/
public function checkRenameLog( $olduser, $newuser ) {
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$oldTitle = Title::makeTitle( NS_USER, $olduser->getName() );
diff --git a/specials/SpecialRenameuser.php b/specials/SpecialRenameuser.php
index 0014377..89fbe34 100644
--- a/specials/SpecialRenameuser.php
+++ b/specials/SpecialRenameuser.php
@@ -255,7 +255,7 @@
// Until r19631 it was possible to rename a user to a name with
first character as lowercase
if ( $oldusername->getText() !== $wgContLang->ucfirst(
$oldusername->getText() ) ) {
// oldusername was entered as lowercase -> check for
existence in table 'user'
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$uid = $dbr->selectField( 'user', 'user_id',
[ 'user_name' => $oldusername->getText() ],
__METHOD__ );
@@ -315,7 +315,7 @@
// Move any user pages
if ( $request->getCheck( 'movepages' ) && $user->isAllowed(
'move' ) ) {
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$pages = $dbr->select(
'page',
--
To view, visit https://gerrit.wikimedia.org/r/380235
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9326652a49116b9b0459b465d08b228fe4b60726
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Renameuser
Gerrit-Branch: master
Gerrit-Owner: Libraryupgrader
Gerrit-Reviewer: Umherirrender
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...Renameuser[master]: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Libraryupgrader has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/380235 )
Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
..
build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Change-Id: I9326652a49116b9b0459b465d08b228fe4b60726
---
M composer.json
M maintenance/renameUserCleanup.php
M specials/SpecialRenameuser.php
3 files changed, 4 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Renameuser
refs/changes/35/380235/1
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": {
diff --git a/maintenance/renameUserCleanup.php
b/maintenance/renameUserCleanup.php
index 136a663..74ec452 100644
--- a/maintenance/renameUserCleanup.php
+++ b/maintenance/renameUserCleanup.php
@@ -87,7 +87,7 @@
* @param User $newuser
*/
public function checkRenameLog( $olduser, $newuser ) {
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$oldTitle = Title::makeTitle( NS_USER, $olduser->getName() );
diff --git a/specials/SpecialRenameuser.php b/specials/SpecialRenameuser.php
index 0014377..89fbe34 100644
--- a/specials/SpecialRenameuser.php
+++ b/specials/SpecialRenameuser.php
@@ -255,7 +255,7 @@
// Until r19631 it was possible to rename a user to a name with
first character as lowercase
if ( $oldusername->getText() !== $wgContLang->ucfirst(
$oldusername->getText() ) ) {
// oldusername was entered as lowercase -> check for
existence in table 'user'
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$uid = $dbr->selectField( 'user', 'user_id',
[ 'user_name' => $oldusername->getText() ],
__METHOD__ );
@@ -315,7 +315,7 @@
// Move any user pages
if ( $request->getCheck( 'movepages' ) && $user->isAllowed(
'move' ) ) {
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$pages = $dbr->select(
'page',
--
To view, visit https://gerrit.wikimedia.org/r/380235
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9326652a49116b9b0459b465d08b228fe4b60726
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Renameuser
Gerrit-Branch: master
Gerrit-Owner: Libraryupgrader
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
