session_destroy(); // To delete whole session
// OR
unset($_SESSION['myVar']); // To delete a session var
session_unset(); //Destrol all session variables
All of a sudden neither session_destroy() nor $_SESSION=[] were sufficient to log out. I found the next to work:
<?php
setcookie(session_name(), session_id(), 1); // to expire the session
$_SESSION = [];
?>