Undo feature: Add a wpUndidRevision field that can be used to distinguish (undo)...
authorAndrew Garrett <agarrett@wikimedia.org>
Wed, 18 Jul 2012 19:25:02 +0000 (12:25 -0700)
committerAndrew Garrett <agarrett@wikimedia.org>
Wed, 18 Jul 2012 19:26:42 +0000 (12:26 -0700)
commitd9d67b35723ad2c2e129c17b6c70aac2f8df7bff
tree95fcf1057d85deb72774877febb350411612e45a
parent39080a18dda2aaa4d6719a3ae1d8b854b0ff6674
Undo feature: Add a wpUndidRevision field that can be used to distinguish (undo) edits from other edits

Change-Id: I85d485d89ab87c9478552183ffdb10b0bfaad648
includes/EditPage.php