jenkins-bot has submitted this change and it was merged. Change subject: forceRenameUsers: Add missing $ for proper output ......................................................................
forceRenameUsers: Add missing $ for proper output Change-Id: I796cddab422cde13c6aeb80b894231f64f1d30e8 --- M maintenance/forceRenameUsers.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified diff --git a/maintenance/forceRenameUsers.php b/maintenance/forceRenameUsers.php index 449e314..6586f43 100644 --- a/maintenance/forceRenameUsers.php +++ b/maintenance/forceRenameUsers.php @@ -125,11 +125,11 @@ foreach ( $rows as $row ) { $caUser = new CentralAuthUser( $row->utr_name ); if ( $caUser->attachedOn( $row->utr_wiki ) ) { - $this->log( "'{row->utr_name}' has become attached to a global account since the list as last generated." ); + $this->log( "'{$row->utr_name}' has become attached to a global account since the list as last generated." ); $updates->remove( $row->utr_name, $row->utr_wiki ); } elseif ( !User::isUsableName( $row->utr_name ) ) { // Reserved for a system account, ignore - $this->log( "'{row->utr_name}' is a reserved username, skipping." ); + $this->log( "'{$row->utr_name}' is a reserved username, skipping." ); $updates->remove( $row->utr_name, $row->utr_wiki ); } else { $rowsToRename[] = $row; -- To view, visit https://gerrit.wikimedia.org/r/204223 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I796cddab422cde13c6aeb80b894231f64f1d30e8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CentralAuth Gerrit-Branch: master Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: Alex Monk <kren...@gmail.com> Gerrit-Reviewer: CSteipp <cste...@wikimedia.org> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Hoo man <h...@online.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits