From d9d67b35723ad2c2e129c17b6c70aac2f8df7bff Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Wed, 18 Jul 2012 12:25:02 -0700 Subject: [PATCH] Undo feature: Add a wpUndidRevision field that can be used to distinguish (undo) edits from other edits Change-Id: I85d485d89ab87c9478552183ffdb10b0bfaad648 --- includes/EditPage.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/includes/EditPage.php b/includes/EditPage.php index f03415310b..b4a67924b3 100644 --- a/includes/EditPage.php +++ b/includes/EditPage.php @@ -1837,6 +1837,10 @@ class EditPage { $wgOut->addHTML( Html::hidden( 'wpIgnoreBlankSummary', true ) ); } + if ( $this->undidRev ) { + $wgOut->addHTML( Html::hidden( 'wpUndidRevision', $this->undidRev ) ); + } + if ( $this->hasPresetSummary ) { // If a summary has been preset using &summary= we dont want to prompt for // a different summary. Only prompt for a summary if the summary is blanked. -- 2.20.1