From cb1ed976d14c3f8eff95364674be8d115785cf8d Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Sat, 15 Nov 2003 09:24:18 +0000
Subject: [PATCH] exit()

---
 includes/SpecialExport.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/includes/SpecialExport.php b/includes/SpecialExport.php
index b70e8b2304..9f23fbb521 100644
--- a/includes/SpecialExport.php
+++ b/includes/SpecialExport.php
@@ -15,8 +15,7 @@ function wfSpecialExport( $page = "" ) {
 		$pages = explode( "\n", $page );
 		$xml = pages2xml( $pages, $curonly );
 		echo $xml;
-		# exit(1) actually prints 1 in some PHP versions
-		exit("");
+		exit();
 	}
 	
 	$wgOut->addWikiText( wfMsg( "exporttext" ) );
-- 
2.20.1