Hack to escape colons in User:XXX URLs

peterjc · Apr 12, 2016 · 9aa53af · 9aa53af
1 parent fa3c3ed
commit 9aa53af
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/convert.py b/convert.py
@@ -154,6 +154,8 @@ def cleanup_mediawiki(text):
         # See https://github.com/jgm/pandoc/issues/2849
         if "[[:Category:" in line:
             line = line.replace("[[:Category:", "[[Category%3A")
+        if "[[User:" in line:
+            line = line.replace("[[User:", "[[User%3A")
         new.append(line)
     return "\n".join(new), categories