From 8c876f45e4d39c5244e4c71ebd89b6ed454810a0 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Tue, 28 Dec 2010 18:15:48 +0000
Subject: [PATCH] This precondition is no longer needed after r78393

---
 includes/parser/ParserCache.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/includes/parser/ParserCache.php b/includes/parser/ParserCache.php
index 3dad62df50..6192a1ec05 100644
--- a/includes/parser/ParserCache.php
+++ b/includes/parser/ParserCache.php
@@ -81,8 +81,6 @@ class ParserCache {
 	 * Used to provide a unique id for the PoolCounter.
 	 * It would be preferable to have this code in get()
 	 * instead of having Article looking in our internals.
-	 *
-	 * Precondition: $article->checkTouched() has been called.
 	 */
 	public function getKey( $article, $popts, $useOutdated = true ) {
 		global $wgCacheEpoch;
-- 
2.20.1