Prevent duplicate edits due to failure to load the current revision.
authorAaron <aschulz@wikimedia.org>
Mon, 9 Jul 2012 17:27:53 +0000 (10:27 -0700)
committerAaron <aschulz@wikimedia.org>
Mon, 9 Jul 2012 17:34:33 +0000 (10:34 -0700)
commit306bc3956125b3666d45c3d72b2f8ad52bdef4f1
treee72a1946736a3ba1008b0f89bcca22acf1ee0109
parent5fb525a9737317e9505c93602a5d32ef321c4ed2
Prevent duplicate edits due to failure to load the current revision.

* This works via throwing an exception. Ideally, a deeper fix can be
  made so the exception stops getting triggered anymore.

Change-Id: Ie6a11016be9f9e5a76e2f6f369bc3aac42d78c2d
includes/WikiPage.php