Last modified: 2013-07-09 01:41:38 UTC
Steps to reproduce: 1. open article in browser window 2. open same article in another browser window, edit, save changes 3. edit with VE in first window Expected result: VE show some sort of warning, and loads the newest version of the article (or maybe refuses to edit it at all). Actual result: VE happily edits the old revision, and shows [[MediaWiki:Editingold]].
Change 72070 had a related patch set uploaded by Krinkle: mw.ViewPageTarget: Fix incorrect retention of the wrong oldid https://gerrit.wikimedia.org/r/72070
Change 72070 merged by jenkins-bot: mw.ViewPageTarget: Fix incorrect retention of the wrong oldid https://gerrit.wikimedia.org/r/72070
This is now deployed and appears to be working as expected in production, according to my testing. Marking as fixed. Please re-open if you find otherwise.