' . $alert_entry['time_logged'] . ' '); if (!isset($alert_entry['device'])) { $dev = device_by_id_cache($alert_entry['device_id']); echo(" " . generate_device_link($dev, shorthost($dev['hostname'])) . " "); } echo("".htmlspecialchars($alert_entry['name']) . " "); ?>