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 <[email protected]>
Gerrit-Reviewer: IAlex <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
