[MediaWiki-commits] [Gerrit] Deal better with expired edit tokens - change (mediawiki...MobileFrontend)

2014-05-08 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Deal better with expired edit tokens .. Deal better with expired edit tokens When it hits a badtoken error postWithToken tries to refresh the cached edit

[MediaWiki-commits] [Gerrit] Deal better with expired edit tokens - change (mediawiki...MobileFrontend)

2014-04-29 Thread Jdlrobson (Code Review)
Jdlrobson has uploaded a new change for review. https://gerrit.wikimedia.org/r/130522 Change subject: Deal better with expired edit tokens .. Deal better with expired edit tokens When it hits a badtoken error postWithToken