PHP: chiudere una sessione utente

In PHP possiamo creare un semplice script per effettuare la chiusura di una sessione utente.

Possiamo usare a livello puramente indicativo un codice simile al seguente:

<?php
    session_start();

    // Verifica della presenza di un utente loggato

    if(isset($_SESSION['valid_user'])) {
    
        $_SESSION = []; // Reset dell'array di sessione
    
        if (isset($_COOKIE[session_name()])) {
            setcookie(session_name(), '', time()-86400, '/');
            // Reset del cookie di sessione
        }
        session_destroy(); // Chiusura sessione
        header('Location: https://site.tld'); // Reindirizzamento
        exit; // Fine script

    } else {
        header('Location: https://site.tld'); // Reindirizzamento
        exit; // Fine script
    }
?>