public static function init_user_state() { if (self::$_userstate === null && isset($_SESSION['session_userstate'])) { self::$_userstate =& $_SESSION['session_userstate']; } else { self::$_userstate = null; } }