Undo feature: Add a wpUndidRevision field that can be used to distinguish (undo)...

Change-Id: I85d485d89ab87c9478552183ffdb10b0bfaad648

diff --git a/includes/EditPage.php b/includes/EditPage.php
index f034153..b4a6792 100644 (file)
--- 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.