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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
