From 522807d25d4123e77fb6a6d7c72e740dc5703069 Mon Sep 17 00:00:00 2001
From: yzqzss <yzqzss@yandex.com>
Date: Mon, 29 May 2023 10:48:05 +0800
Subject: [PATCH] fix: incorrect xml space attr in <text>

---
 dumpgenerator.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dumpgenerator.py b/dumpgenerator.py
index c5d1d80..aa84424 100755
--- a/dumpgenerator.py
+++ b/dumpgenerator.py
@@ -1075,10 +1075,12 @@ def makeXmlFromPage(page):
                 size = rev['size']
             else:
                 size = 0
+            text_element = E.text(to_unicode(rev["*"]), bytes=to_unicode(size))
+            text_element.set("{http://www.w3.org/XML/1998/namespace}space", "preserve")
             revision = E.revision(
                 E.id(to_unicode(rev['revid'])),
                 E.timestamp(rev['timestamp']),
-                E.text(to_unicode(rev['*']), space="preserve", bytes=to_unicode(size)),
+                text_element,
             )
             # The username may be deleted/suppressed
             if 'user' in rev: