Initial commit (code), runtime ignoré, secrets exclus

logout.php

@@ -0,0 +1,28 @@
+<?php
+/**
+ * Déconnexion - CORRIGÉ pour utiliser PHPSESSID
+ */
+
+// Charger session.php pour avoir la bonne config
+require_once __DIR__ . '/config/session.php';
+
+// Démarrer la session pour pouvoir la détruire (déjà fait dans session.php mais on vérifie)
+if (session_status() === PHP_SESSION_NONE) {
+    session_start();
+}
+
+// Vider les données de session
+$_SESSION = array();
+
+// Supprimer le cookie de session PHPSESSID
+if (isset($_COOKIE['PHPSESSID'])) {
+    setcookie('PHPSESSID', '', time()-3600, '/mathematiques/');
+}
+
+// Détruire la session
+session_destroy();
+
+// Redirection
+header("Location: login.php");
+exit;
+?>