Translations:Manual:$wgUseGzip/4/en

When using the file cache, we can store the cached HTML gzipped to save disk space.