php – 替代已弃用的session_is_registered

session_start();if (!session_is_registered(user)) { header(Location: login.php); die();} 因为session_is_registered()已被弃用,所以执行此操作的正确方法是什么? 使用if(isset($_SESSION [‘user’])){}

返回顶部