From c8eb28b2b38c91a74dd9f6d4b457d6234b7124b3 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 2 Jun 2011 20:15:00 +0000
Subject: [PATCH] Revert r88648 per CR

---
 index.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.php b/index.php
index 5e5f47c537..c7d0f92d11 100644
--- a/index.php
+++ b/index.php
@@ -98,7 +98,7 @@ function wfIndexMain() {
 			}
 			wfProfileOut( 'index.php-setup' );
 			wfProfileOut( 'index.php' );
-			return;
+			exit;
 		}
 	}
 
@@ -118,7 +118,7 @@ function wfIndexMain() {
 		$dispatcher->performAction();
 		wfProfileOut( 'index.php' );
 		$mediaWiki->restInPeace();
-		return;
+		exit;
 	}
 
 	if ( $wgUseFileCache && $wgTitle !== null ) {
@@ -142,7 +142,7 @@ function wfIndexMain() {
 				$mediaWiki->finalCleanup();
 				wfProfileOut( 'index.php' );
 				$mediaWiki->restInPeace();
-				return;
+				exit;
 			}
 		}
 		wfProfileOut( 'index.php-filecache' );
-- 
2.20.1