<?php
function getallheaders()
    {
           $headers = [];
       foreach ($_SERVER as $name => $value)
       {
           if (substr($name, 0, 5) == 'HTTP_')
           {
               $headers[str_replace(' ', '-', ucwords(strtolower(str_replace('_', ' ', substr($name, 5)))))] = $value;
           }
       }
       return $headers;
    } 

error_log(print_r(getallheaders(), true));

define('DEBUG', true);
ob_start("ob_gzhandler");

require 'vendor/autoload.php';
include 'class/class.mysqliDb.inc.php';
include 'class/class.webUI.inc.php';
include 'class/class.webNavigation.inc.php';

$db = new MysqliDb ();
$webUI = new WebUI();

$webUI->processPage();

echo $webUI->toHtml();

?>