dumpHTML has moved to the DumpHTML extension. WebDAV/SVN: http://svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/DumpHTML/ Web: http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/DumpHTML/