fix "Call to undefined function session_is_registered()" error

replace deprecated session_is_registered(..) calls with $_SESSION to fix
the following php error message:
    PHP Fatal error:  Call to undefined function session_is_registered()
    in MyID.php on line 1346"