Fetched the results in $end_time seconds";
switch ($type)
{
case 0:
print_text_results($results);
break;
case 1:
print_image_results($results);
break;
case 2:
print_video_results($results);
break;
default:
print_text_results($results);
break;
}
if ($type != 1 )
{
echo "";
if ($page != 0)
{
print_next_page_button(0, "<<", $query, $type);
print_next_page_button($page - 10, "<", $query, $type);
}
for ($i=$page / 10; $page / 10 + 10 > $i; $i++)
{
$page_input = $i * 10;
$page_button = $i + 1;
print_next_page_button($page_input, $page_button, $query, $type);
}
print_next_page_button($page + 10, ">", $query, $type);
echo "
";
}
?>