[MediaWiki-commits] [Gerrit] Deal better with expired edit tokens - change (mediawiki...MobileFrontend)
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)
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