Thread:Extension talk:DumpHTML/Broken since MediaWiki 1.17.0?