{$label}

\n"); foreach ($entries as $entry) { echo("
• "); echo("
  "); echo("location)."\">".$entry->full_title_xml.""); echo("
  "); echo("
  "); echo("location)."\">Release Notes"); if ($entry->download_page) { echo(" | "); echo("download_page)."\">Download"); } if ($entry->documentation) { echo(" | "); echo("documentation)."\">Documentation"); } echo("
  "); if ($entry->notice_xml) { if ($entry->notice_url) { echo("
  notice_url)."\">{$entry->notice_xml}
  "); } else { echo("
  {$entry->notice_xml}
  "); } } echo("
  {$entry->web_date}
  "); echo("
\n"); } echo("