From fc276d525fb38f67fc98b665ac748be493ead080 Mon Sep 17 00:00:00 2001
From: PiRSquared17 <pirsquared@tools.wmflabs.org>
Date: Tue, 24 Mar 2015 03:44:03 +0000
Subject: [PATCH] Allow spaces before <mediawiki> tag.

---
 dumpgenerator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dumpgenerator.py b/dumpgenerator.py
index 8217bbd..3ced703 100755
--- a/dumpgenerator.py
+++ b/dumpgenerator.py
@@ -399,7 +399,7 @@ def getXMLHeader(config={}, session=None):
         xml = pme.xml
 
     header = xml.split('</mediawiki>')[0]
-    if not re.match("<mediawiki", xml):
+    if not re.match(r"\s*<mediawiki", xml):
         print 'XML export on this wiki is broken, quitting.'
         sys.exit()
     return header