From dd32f9c57dfc823c99085c9a7b0fe32ad71b545b Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Mon, 10 Jan 2011 08:33:19 +0000
Subject: [PATCH] Be sure to use the latest rev id and not whatever
 getRevIdFetched() could be

---
 includes/Article.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Article.php b/includes/Article.php
index bb0c3fdd4f..2d673afee8 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -2211,7 +2211,7 @@ class Article {
 				$status->warning( 'edit-no-change' );
 				$revision = null;
 				// Keep the same revision ID, but do some updates on it
-				$revisionId = $this->getRevIdFetched();
+				$revisionId = $this->getLatest();
 				// Update page_touched, this is usually implicit in the page update
 				// Other cache updates are done in onArticleEdit()
 				$this->mTitle->invalidateCache();
-- 
2.20.1