curl_settings);
$response = curl_exec($ch);
return $response;
}
function print_elapsed_time($start_time)
{
$end_time = number_format(microtime(true) - $start_time, 2, '.', '');
echo "Fetched the results in $end_time seconds
";
}
function print_next_page_button($text, $page, $query, $type)
{
echo "";
}
?>