Compress HTML by default

diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index 2f93baf5ff312f77fb79a1377ed52994026c406d..8b1a19375106e82e772026d6562793eecd3ed32e 100644 (file)
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -13,7 +13,7 @@ function page_header(string $title, string $error = "", $breadcrumb = array(), s
                exit;
        }
        if (!ob_get_level()) {
-               ob_start(null, 4096);
+               ob_start('ob_gzhandler', 4096);
        }
        $title_all = $title . ($title2 != "" ? ": $title2" : "");
        $title_page = strip_tags($title_all . (SERVER != "" && SERVER != "localhost" ? h(" - " . SERVER) : "") . " - " . adminer()->name());