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