Alternative for deprecated session_is_registered
<pre><code>session_start();
if (!session_is_registered(user)) {
    header("Location: login.php");
    die();
}
</code></pre>

<p>What is the proper way to do this since <code>session_is_registered()</code> is deprecated?</p>
