Add xml header (redundant but nice) and correct xml:lang tag

diff --git a/includes/SpecialExport.php b/includes/SpecialExport.php
index 4b8a2c8..4788299 100644 (file)
--- 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 );
        }