Ed Sanders 33bfeeed41 Update oldid on successful page save (if a new id is generated) ... New ID is now passed from the API to the save event, to the onSave handler. Empty diffs won't generate a newrevid. Bug: 47420 Change-Id: I12ce27c8dc57f7aa753bcf5840635d5fea6b4e80		2013-05-03 18:10:10 +01:00
..
ve.init.mw.ViewPageTarget.js	Update oldid on successful page save (if a new id is generated)	2013-05-03 18:10:10 +01:00