session_start(); if (!session_is_registered(user)) { header("Location: login.PHP"); die(); }
因为session_is_registered()已被弃用,所以执行此操作的正确方法是什么？
