title: Alternative for deprecated session_is_registered
body: <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>