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
