Alternativa para la sesión obsoleta_es_registrada

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

¿Cuál es la forma correcta de hacer esto desdesession_is_registered() ¿es obsoleto

Respuestas a la pregunta(4)

Su respuesta a la pregunta