\n"; echo "\n"; echo "]>"; require_once("scripts/resources.php"); $resources_mgr = new Resources(); $filter = new Filter(); $filter->populate_from_html_request_header(); $resources = $resources_mgr->get_resources($filter); $resources_mgr->dispose(); $filter_summary = $filter->get_summary(); $filter_string = $filter->get_url_parameters(); if ($filter_string) $filter_string = '?'.$filter_string; $count = 10; // maximum number of entries in the result. $host = $_SERVER['HTTP_HOST']; $resources_root = "http://$host/resources"; if (array_key_exists('title', $_GET)) { $title = $_GET['title']; } else { $title = "Eclipse Resources"; } ?> ]]> /images/eclipse.png "; echo "\n\t$resources_root/resource.php?id=$resource->id"; echo "\n\t\t"; echo "\n\t\t$resources_root/resource.php?id=$resource->id"; echo "\n\t\tdescription]]>"; $date = date("D, j M Y 12:00:00 \G\M\T", $resource->get_date()); echo "\n\t\t$date"; echo "\n\t"; } ?>