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

That would be very interesting for me too!!