From b939839e4fc27f6a18a18aa2f8234778742877e6 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Mon, 1 Dec 2003 21:29:59 +0000
Subject: [PATCH] Add xml header (redundant but nice) and correct xml:lang tag

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

diff --git a/includes/SpecialExport.php b/includes/SpecialExport.php
index 4b8a2c89ea..47882990a7 100644
--- a/includes/SpecialExport.php
+++ b/includes/SpecialExport.php
@@ -33,7 +33,8 @@ function wfSpecialExport( $page = "" ) {
 
 function pages2xml( $pages, $curonly = false ) {
 	global $wgLanguageCode, $wgInputEncoding, $wgLang;
-	$xml = "<mediawiki version=\"0.1\" xml:ns=\"$wgLanguageCode\">\n";
+	$xml = "<" . "?xml version=\"1.0\" encoding=\"UTF-8\" ?" . ">\n" .
+		"<mediawiki version=\"0.1\" xml:lang=\"$wgLanguageCode\">\n";
 	foreach( $pages as $page ) {
 		$xml .= page2xml( $page, $curonly );
 	}
-- 
2.20.1