Ajouter public/logout.php

2025-10-30 11:46:17 +00:00
parent 7d18707d49
commit fdc6a96587
1 changed files with 12 additions and 0 deletions
--- a/public/logout.php
+++ b/public/logout.php
@@ -0,0 +1,12 @@
+<?php
+require_once __DIR__ . '/../src/session.php';
+start_secure_session();
+$_SESSION = [];
+if (ini_get('session.use_cookies')) {
+    $params = session_get_cookie_params();
+    setcookie(session_name(), '', time() - 42000,
+        $params['path'], $params['domain'], $params['secure'], $params['httponly']);
+}
+session_destroy();
+header('Location: /public/index.php');
+exit;