PHP: come chiudere una sessione utente

In PHP la chiusura di una sessione utente è una procedura semplice.

La soluzione è la seguente:

session_start();

if(isset($_SESSION['user_id'])) {
    session_destroy();
    $_SESSION = [];
    header('Location: ' . 'https://' . $_SERVER['HTTP_HOST'] . '/');
    exit();
}