<?php
function require_login(): void {
    if (empty(
$_SESSION['user_id'])) {
        
header('Location: index.php?page=login');
        exit;
    }
}

function 
do_login(int $userIdstring $fullNameint $groupIdstring $groupName): void {
    
$_SESSION['user_id']         = $userId;
    
$_SESSION['user_name']       = $fullName;
    
$_SESSION['user_group_id']   = $groupId;
    
$_SESSION['user_group_name'] = $groupName;
}

function 
do_logout(): void {
    
session_unset();
    
session_destroy();
}

function 
is_admin(): bool {
    return (!empty(
$_SESSION['user_group_name']) && $_SESSION['user_group_name'] === 'Administration');
}

function 
require_admin(): void {
    if (!
is_admin()) {
        
header('Location: index.php?page=home');
        exit;
    }
}
?>