Merge branch 'xmlrevisions' of github.com:nemobis/wikiteam into xmlrevisions

4 years ago · 8b58599645
parent 17283113dd 2c21eadf7c
commit 8b58599645
1 changed files with 1 additions and 1 deletions
--- a/dumpgenerator.py
+++ b/dumpgenerator.py
@ -472,7 +472,7 @@ def getXMLHeader(config={}, session=None):
                xml = pme.xml
            except ExportAbortedError:
                pass
-    
+
    header = xml.split('</mediawiki>')[0]
    if not re.match(r"\s*<mediawiki", xml):
        if config['xmlrevisions']: