kajetans-interpreter/web/logout.php

<?php
    if(session_status() == PHP_SESSION_NONE) 
    {
        session_start();
    }
    unset($_SESSION["user"]);
    header("Location: index.php");
?>