Revert r88648 per CR

1 files changed, 3 insertions, 3 deletions

diff --git a/index.php b/index.php
index 5e5f47c5379d..c7d0f92d117b 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' );