[MediaWiki-commits] [Gerrit] Replace deprecated User::editToken with User::getEditToken (... - change (mediawiki...CommunityVoice)

2014-01-10 Thread jenkins-bot (Code Review)
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)

2014-01-08 Thread Siebrand (Code Review)
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