From 96623f96b6916e446c5342c258b6efcd4fe53da7 Mon Sep 17 00:00:00 2001
From: Thomas de Roo <2+thomas@noreply.localhost>
Date: Mon, 15 Jun 2026 09:36:44 +0200
Subject: [PATCH] Add includes/auth.php

---
 includes/auth.php | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 includes/auth.php

diff --git a/includes/auth.php b/includes/auth.php
new file mode 100644
index 0000000..7462649
--- /dev/null
+++ b/includes/auth.php
@@ -0,0 +1,18 @@
+<?php
+
+declare(strict_types=1);
+
+require_once __DIR__ . '/config.php';
+
+function isLoggedIn(): bool
+{
+    return isset($_SESSION['user']);
+}
+
+function requireLogin(): void
+{
+    if (!isLoggedIn()) {
+        header('Location: login.php');
+        exit;
+    }
+}
\ No newline at end of file