Errore: Stazione TV non trovata.'; return; } $station_id = (string)$station->id; $station_name = (string)$station->name; $station_logo = (string)$station->logo; $station_stream = (string)$station->stream; $station_poster = isset($station->poster) ? (string)$station->poster : ''; ?>