PHP > 5.3 = session_is_registered() is deprecated

[ChrisB]

Hi,

Nun habe ich das Problem, dass die Funktion session_is_registered() anscheinend gestrichen wurde. Weiss jemand, mit welcher diese ersetzt wird?

Ja, das Manual; http://www.php.net/manual/en/function.session-is-registered.php:

Note: If $_SESSION (or $HTTP_SESSION_VARS for PHP 4.0.6 or less) is used, use isset() to check a variable is registered in $_SESSION.

Caution
If you are using $_SESSION (or $HTTP_SESSION_VARS), do not use session_register(), session_is_registered() and session_unregister().

Also demnächst erst mal RTFM, danke.

MfG ChrisB