Fatal error: Call to undefined function session_is_registered() 函数已废弃

$user=$_POST["user"];
if(!session_is_registered("username")) {
session_register("username");
$_SESSION["username"]=$user;
}

$user=$_POST["user"];
if(!isset($_SESSION["username"])) {
$_SESSION["username"]=$user;
}