Switch EditForm to using editRevId in place of edittimestamp
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 24 Nov 2015 23:22:16 +0000 (15:22 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 14 Jun 2016 19:46:23 +0000 (12:46 -0700)
commit9aa66316a7da528d66de75dffe12c6ee2f0ff3d8
tree269dd0218306f825f4acce92f7f1ae98c150dbb1
parent471ab05ea26bd1c844237bc752043536d9d2c284
Switch EditForm to using editRevId in place of edittimestamp

This avoids sub-second timestamp collision race conditions

Bug: T58849
Change-Id: Iee12e251a3b7ef1332274df520333afc2ff83889
includes/EditPage.php