Call to undefined function session_is_registered Hatası

selam arkadaşlar bu hata nedir nasıl giderebilirim

Fatal error: Call to undefined function session_is_registered() in /home/xx/public_html/admin/ust.php on line 1


ust.php de şu kod var.

<?php session_start(); if (!session_is_registered("yonetici")){ header ("Location:giris.php"); die(""); } ?>

PHP 5.4.0 dan itibaren kaldırıldığı yazıyor bu fonksiyonun. isset($_SESSION["yonetici"]) şeklinde düzenleyebilirsin. Birden fazla kullanım varsa php.net adresinde belirtildiği gibi

function session_is_registered($x)
{
    if (isset($_SESSION['$x']))
    return true;
    else 
    return false;
}

fonksiyonunu sayfanın üstüne ekleyebilirsin.