[php] Why is PHP session_destroy() not working?