Last modified: 2013-05-24 15:23:28 UTC
EditPage.php has a prominent notice that users are editing an oldid page; VE should have something similar, probably in the "notices" functionality.
This looks to be <Revision-info>. :-)
EditPage uses msg: editingold[1]. [1] https://www.mediawiki.org/wiki/MediaWiki:Editingold/en
(In reply to comment #2) > EditPage uses msg: editingold[1]. > > [1] https://www.mediawiki.org/wiki/MediaWiki:Editingold/en Ah, yes, whoops. Good catch.
Related URL: https://gerrit.wikimedia.org/r/65291 (Gerrit Change I216cdd68014173aa65cad42ddd3d870334be9ead)
Merged and will go out with wmf5 on 27 May.