Slight cache tweaks; fixes gzip encoding header for newly recached pages
authorBrion Vibber <brion@users.mediawiki.org>
Sat, 2 Aug 2003 12:41:30 +0000 (12:41 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sat, 2 Aug 2003 12:41:30 +0000 (12:41 +0000)
commit4348c0b3206b90190e84742f5dc842b687d18069
treeae76fd0b068c2a9a4bce652b63d17f471225354f
parentc6879704abf865e25554e9bd92b185f96097985d
Slight cache tweaks; fixes gzip encoding header for newly recached pages
on my home test box (worked fine on the real install anyway, but...)
includes/Article.php
includes/CacheManager.php