<?php
/**
 * Déconnexion sécurisée
 * N'inclut pas database.php — uniquement la gestion de session.
 */
if (session_status() === PHP_SESSION_NONE) {
    session_start();
}

// 1. Vider toutes les variables de session
$_SESSION = [];

// 2. Supprimer le cookie de session côté client
if (ini_get('session.use_cookies')) {
    $params = session_get_cookie_params();
    setcookie(
        session_name(),
        '',
        time() - 42000,
        $params['path'],
        $params['domain'],
        $params['secure'],
        $params['httponly']
    );
}

// 3. Détruire la session côté serveur
session_destroy();

// Redirection vers la page d'accueil
header('Location: ../index.php');
exit;
