Alternative pour session désaffectée_enregistrée

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

Quelle est la bonne façon de le faire depuis session_is_registered() est obsolète?

source d'informationauteur Kyle