Thread:Extension talk:DumpHTML/Broken in MediaWiki 1.22.2