jenkins-bot has submitted this change and it was merged. Change subject: Replace deprecated User::editToken with User::getEditToken (1.19) ......................................................................
Replace deprecated User::editToken with User::getEditToken (1.19) Change-Id: Ia7e60b5c7198f0d046edcdacdcc360adb1f6215c --- M CommunityVoice.page.php M Modules/Ratings.php 2 files changed, 2 insertions(+), 2 deletions(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified diff --git a/CommunityVoice.page.php b/CommunityVoice.page.php index 3e96a3c..0612c19 100644 --- a/CommunityVoice.page.php +++ b/CommunityVoice.page.php @@ -28,7 +28,7 @@ // Checks if a token was given if ( $token ) { // Validates edit token - if ( $wgUser->editToken() == $token ) { + if ( $wgUser->getEditToken() == $token ) { // Gets module $module = $wgRequest->getText( 'module' ); // Gets action diff --git a/Modules/Ratings.php b/Modules/Ratings.php index 478bcb4..5c3d69f 100644 --- a/Modules/Ratings.php +++ b/Modules/Ratings.php @@ -279,7 +279,7 @@ ); // Builds list of hidden fields $hiddenFields = array( - 'token' => $wgUser->editToken(), + 'token' => $wgUser->getEditToken(), 'module' => 'Ratings', 'action' => 'ScaleVoteSubmission', 'scale[article]' => $title->getPrefixedText(), -- To view, visit https://gerrit.wikimedia.org/r/106206 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia7e60b5c7198f0d046edcdacdcc360adb1f6215c Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/CommunityVoice Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: IAlex <coderev...@emsenhuber.ch> Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits