$url = 'http://whois.nic.ad.jp/cgi-bin/whois_gw?type=NET&key='.$ip; redirect($url);
function print_time_selector($hour, $minute, $currenttime=0, $step=5, $return=false) {
debugging('print_time_selector() has been deprecated. Please change your code to use html_writer.');
$hourselector = html_writer::select_time('hours', $hour, $currenttime);
$minuteselector = html_writer::select_time('minutes', $minute, $currenttime, $step);
$output = $hourselector . $minuteselector;
if ($return) {
return $output;
} else {
echo $output;
}
}case 'hours':
for ($i=0; $i<=23; $i++) {
$strno = sprintf("%02d",$i);
$timeunits[$strno] = $strno;
//$timeunits[$i] = sprintf("%02d",$i);
}
break;
case 'minutes':
if ($step != 1) {
$currentdate['minutes'] = ceil($currentdate['minutes']/$step)*$step;
}
for ($i=0; $i<=59; $i+=$step) {
$strno = sprintf("%02d",$i);
$timeunits[$strno] = $strno;
//$timeunits[$i] = sprintf("%02d",$i);
}