From 2e7577849b1d938575452627220187d0a3ed263d Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Fri, 25 Aug 2017 15:26:30 +0100
Subject: [PATCH] Set wgRevisionId on overridden edit page

Bug: T166131
Change-Id: I9ec865bce27292513c0aea4f0cd0747f5b4deaa0
---
 VisualEditor.hooks.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/VisualEditor.hooks.php b/VisualEditor.hooks.php
index e45b583900..a1954552e3 100644
--- a/VisualEditor.hooks.php
+++ b/VisualEditor.hooks.php
@@ -266,6 +266,7 @@ class VisualEditorHooks {
 					"}" .
 				");"
 			) );
+			$out->setRevisionId( $article->getRevIdFetched() );
 			return false;
 		}
 		return true;