[Pkg-mediawiki-devel] Bug#473771: Please add the DumpHTML extension

[Graham]

Package: mediawiki-extensions
Version: 1.3

Please consider adding the DumpHTML extension. As you likely know,
this functionality previously existed within the core of MediaWiki,
but was moved to an extension starting with MW 1.12.

http://www.mediawiki.org/wiki/DumpHTML.php

http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/DumpHTML/

Thanks

-- graham