已弃用的session_is_registered的替代方案

Question

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

由于session_is_registered()被弃用,这样做的正确方法是什么？

Answer 1

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