[MediaWiki-l] Older Versions of the DumpHTML Extension