From 4130fd431d8c54573f231b4334dc02196d35f832 Mon Sep 17 00:00:00 2001
From: Connor Thomson <blumatrikz@gmail.com>
Date: Sun, 20 Sep 2026 20:21:07 -0700
Subject: Add a drop down menu and signout

---
 php/session.php | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'php/session.php')

diff --git a/php/session.php b/php/session.php
index acb2df3..6f2d714 100755
--- a/php/session.php
+++ b/php/session.php
@@ -84,6 +84,25 @@ function set_user_id(int $user_id): void {
     $_SESSION['user_id'] = $user_id;
 }
 
+function sign_out(): void {
+    if (!has_session()) {
+        return;
+    }
+
+    start_session();
+
+    $_SESSION = [];
+
+    $parameters            = session_cookie(0);
+    $parameters['expires'] = time() - 3600;
+
+    unset($parameters['lifetime']);
+
+    setcookie(session_name(), '', $parameters);
+
+    session_destroy();
+}
+
 function get_user_id(): ?int {
     if (!has_session()) {
         return null;
-- 
cgit v1.2.3