* (bug 7508) Added option to compress HTML pages by dumpHTML.php
authorJimmy Collins <collinj@users.mediawiki.org>
Fri, 6 Oct 2006 23:34:09 +0000 (23:34 +0000)
committerJimmy Collins <collinj@users.mediawiki.org>
Fri, 6 Oct 2006 23:34:09 +0000 (23:34 +0000)
commit3f48f1073b32108e4e9f2fdb713e96af66f5e65f
tree6f3049d09b5364266f852cb8e2013c49886ec1f5
parentffa18a0945392d53b0bd61b0d240180c5ef852cc
* (bug 7508) Added option to compress HTML pages by dumpHTML.php
RELEASE-NOTES
maintenance/dumpHTML.inc
maintenance/dumpHTML.php