Only gzip encode if configured to do so

As its likely the web server will do this for us already

sample.config.inc.php

@@ -11,6 +11,7 @@
 $settings['language'] = 'en'; // Refer to the lang/ folder for supported languages
 $settings['icons'] = true; // simple icons
 $settings['theme'] = 'default'; // Theme file (layout/theme_$n.css). Look at the contents of the layout/ folder for other themes.
+$settings['gzip'] = false; // Manually gzip output. Unneeded if your web server already does it.
 
 
 $settings['allow_changing_themes'] = false; // Allow changing the theme per user in the UI?

src/Linfo/Output/Html.php

@@ -148,7 +148,7 @@ public function output()
         // Start compressed output buffering. Try to not do this if we've had errors or otherwise already outputted stuff
         if ((!function_exists('error_get_last') || !error_get_last()) && (!isset($settings['compress_content']) || $settings['compress_content'])) {
             ob_end_clean();
-            ob_start(function_exists('ob_gzhandler') ? 'ob_gzhandler' : null);
+            ob_start(isset($settings['gzip']) && $settings['gzip'] && function_exists('ob_gzhandler') ? 'ob_gzhandler' : null);
         }
 
         // If we're allowed to change themes client-side, generate a list of custom ones to use as a white list