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