".$entry->web_date."

\n"); echo("
• "); echo("location)."\">Release Notes"); echo("
\n"); if ($entry->download_page) { echo("
• "); echo("download_page)."\">Download"); echo("
\n"); } if ($entry->documentation) { echo("
• "); echo("documentation)."\">Documentation"); echo("
\n"); } echo("