Extension:DumpHTML
(Redirected from DumpHTML.php)
 | This extension has been archived.
This extension has not been maintained for some time, and no longer supports recent releases of MediaWiki. It was archived per task T280185. To see the page before archival, click here. |