[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...CommunityVoice)
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:
[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...CommunityVoice)
Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/106206 Change subject: Replace deprecated User::editToken with User::getEditToken (1.19) .. Replace deprecated User::editToken with