The session name is still set with a variable
$_SESSION['username']
This session is called:
Andrei
Now the session is deleted with session_destroy()
After this line runs the session file is already deleted.
But $_SESSION is still available and we can get username
Andrei
In
Next demo
do a full cleanup following
the instructions