From 7526a425867d95c46dc425579a92b59fd9862ebb Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Tue, 23 Dec 2008 20:56:20 +0000
Subject: [PATCH] Add FileCache exit back from r44801

---
 includes/Wiki.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 9feeb0839d..c5f745d3c1 100644
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -235,7 +235,8 @@ class MediaWiki {
 						$article->viewUpdates();
 					}
 					wfProfileOut( __METHOD__ );
-					return true;
+					$this->restInPeace();
+					exit;
 				}
 			}
 			/* No match to special cases */
-- 
2.20.1