<?php
declare(strict_types=1);

/**
 * auth.php
 * Session guard. Include this on any page that requires login.
 */
session_start();

if (!isset($_SESSION['user_id'])) {
  header("Location: login.php");
  exit;
}
