public function __isset($key) { if ($key === 'session_id') { return session_status() === PHP_SESSION_ACTIVE; } return isset($_SESSION[$key]); }