<?php
function require_admin(): void {
    if (session_status() !== PHP_SESSION_ACTIVE) {
        session_start();
    }

    if (!($_SESSION['is_admin'] ?? false)) {
        header('Location: login.php');
        exit;
    }
}