<?php
function require_login(): void {
if (empty($_SESSION['user_id'])) {
header('Location: index.php?page=login');
exit;
}
}
function do_login(int $userId, string $fullName, int $groupId, string $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;
}
}
?>