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

равильно сделать это, так какsession_is_registered() не рекомендуется?