20000); // Make sure that we at least always have a value for this
$config_file = json_decode(file_get_contents("config.json"), true);
$config = array_merge($default_config, $config_file);
function get_current_url() {
$protocol = ((!empty($_SERVER['HTTPS']) && $_SERVER['HTTPS'] != 'off') || $_SERVER['SERVER_PORT'] == 443) ? "https://" : "http://";
$domainName = $_SERVER['SERVER_NAME'];
return $protocol . $domainName;
}
?>
<?= $config['title']; ?>