php – 替代已弃用的session_is_registered

session_start();
if (!session_is_registered(user)) {
    header("Location: login.PHP");
    die();
}

因为session_is_registered()已被弃用,所以执行此操作的正确方法是什么？

使用if(isset($_SESSION [‘user’])){}