<?php
if(!file_exists('settings.php')){
    echo "Hello! To setup the wiki, copy <code>example_settings.php</code> to
          <code>settings.php</code> and then reload this page.";
    exit;
}

require_once 'settings.php';

# Trim a trailing slash from paths (if there was one)
$GLOBALS['page_dir'] = rtrim($GLOBALS['page_dir'], '/');
$GLOBALS['archive_dir'] = rtrim($GLOBALS['archive_dir'], '/');
$GLOBALS['uploads_dir'] = rtrim($GLOBALS['uploads_dir'], '/');


# This is to style the edit page differently from a regular content view page.
# Default is empty string (no special class).
$GLOBALS['page_body_class'] = '';

function return_error($code, $msg){
    http_response_code($code);
    echo $msg;
    exit;
}

function check_login(){
    if(!isset($_COOKIE['login'])
     ||!isset($GLOBALS['wiki_logins'])
     ||!isset($GLOBALS['wiki_logins'][$_COOKIE['login']])){
        return false;
    }

    $GLOBALS['user_name'] = $GLOBALS['wiki_logins'][$_COOKIE['login']];
    return true;
}

function require_login(){
    if(!check_login()){
        return_error(401, 'Login required!');
    }
}