//After using session_destroy(), the session is destroyed behind the scenes. For some reason this doesn't affect the values in $_SESSION, which was already populated for this request, but it will be empty in future requests.
//You can manually clear $_SESSION if you so desire ($_SESSION = [];).
<?php
$_SESSION = [];
session_unset();
session_destroy();
?>
//make sure you don't forget to initialize session before destroying it
session_start() ;
session_destroy();
$_SESSION = [];//and clear it for this request