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