Replaced maintenance/dumpHTML.php with a message pointing to the DumpHTML extension...
authorTim Starling <tstarling@users.mediawiki.org>
Wed, 27 Feb 2008 06:19:09 +0000 (06:19 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Wed, 27 Feb 2008 06:19:09 +0000 (06:19 +0000)
commit849e9d14b8f22d988a832ae37e3b151aa91d9417
tree4492d0b20628219442355bedbdbb4b1f3f8c6967
parent3d17f9896a3b61753083a3dd55166978dabccd98
Replaced maintenance/dumpHTML.php with a message pointing to the DumpHTML extension. Deleted subsidiary files.
maintenance/dumpHTML.inc [deleted file]
maintenance/dumpHTML.php
skins/disabled/HTMLDump.php [deleted file]
skins/htmldump/lookup.js [deleted file]
skins/htmldump/main.css [deleted file]
skins/htmldump/md5.js [deleted file]
skins/htmldump/utf8.js [deleted file]