PHP сессии cookie session_destroy()

php Работа с сессиями: unset($_COOKIE) и session_destroy() -- какая разница, зачем и то и то

Привожу два отрывка из того же учебника ("Котеров PHP7"):

Немного о том, как сохранять данные в сессии. Для этого существует глобальный массив

$_SESSION

, который PHP обрабатывает особым образом. При завершении сценария PHP автоматически сохраняет массив $_SESSION во временном хранилище, имя которого хранится в SID.

Далее описание функции удаления хранилища сессии session_destroy():

Subscribe to RSS - PHP сессии cookie session_destroy()