assorted improvements
authorTim Starling <tstarling@users.mediawiki.org>
Sat, 8 Oct 2005 11:13:03 +0000 (11:13 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Sat, 8 Oct 2005 11:13:03 +0000 (11:13 +0000)
commit9ab23190d05e73253b8ab5033ea6f51142c85a12
tree150e8830ab457707ded69ec757fca65c2a6cd652
parent95d571e34f0325205c268f1ec66157f1b897ca14
assorted improvements
maintenance/dumpHTML.inc
maintenance/dumpHTML.php