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/
