[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...RefreshSpecial)
Nikerabbit 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: I7ce2901aac0c03e52621c68febb11084793a9d3e --- M RefreshSpecial.body.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Nikerabbit: Verified; Looks good to me, approved diff --git a/RefreshSpecial.body.php b/RefreshSpecial.body.php index be721ca..f0c7550 100644 --- a/RefreshSpecial.body.php +++ b/RefreshSpecial.body.php @@ -78,7 +78,7 @@ function showForm( $err ) { global $wgOut, $wgUser, $wgRequest, $wgScriptPath, $wgQueryPages; - $token = htmlspecialchars( $wgUser-editToken() ); + $token = htmlspecialchars( $wgUser-getEditToken() ); $titleObj = SpecialPage::getTitleFor( 'RefreshSpecial' ); $action = htmlspecialchars( $titleObj-getLocalURL( 'action=submit' ) ); -- To view, visit https://gerrit.wikimedia.org/r/106205 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7ce2901aac0c03e52621c68febb11084793a9d3e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/RefreshSpecial 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 ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...RefreshSpecial)
Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/106205 Change subject: Replace deprecated User::editToken with User::getEditToken (1.19) .. Replace deprecated User::editToken with User::getEditToken (1.19) Change-Id: I7ce2901aac0c03e52621c68febb11084793a9d3e --- M RefreshSpecial.body.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/RefreshSpecial refs/changes/05/106205/1 diff --git a/RefreshSpecial.body.php b/RefreshSpecial.body.php index be721ca..f0c7550 100644 --- a/RefreshSpecial.body.php +++ b/RefreshSpecial.body.php @@ -78,7 +78,7 @@ function showForm( $err ) { global $wgOut, $wgUser, $wgRequest, $wgScriptPath, $wgQueryPages; - $token = htmlspecialchars( $wgUser-editToken() ); + $token = htmlspecialchars( $wgUser-getEditToken() ); $titleObj = SpecialPage::getTitleFor( 'RefreshSpecial' ); $action = htmlspecialchars( $titleObj-getLocalURL( 'action=submit' ) ); -- To view, visit https://gerrit.wikimedia.org/r/106205 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7ce2901aac0c03e52621c68febb11084793a9d3e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/RefreshSpecial Gerrit-Branch: master Gerrit-Owner: Siebrand siebr...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits