<?php
function getRoundedCutoff ($t) {
$time = explode(':', $t);
if ( $time[2] > 30 ) {
$time[1] = intval($time[1]) + 1;
}
if ( $time[1] >= 60 ) {
$time[1] = '00';
$time[0] = $time[0] + 1;
}
$time[2] = '00';
$rmin = $time[1] % 15;
$dt = new DateTime( implode(':', $time) );
if ( $rmin > 7 ) {
$dt->add(new DateInterval('PT'.(15-$rmin).'M'));
} else {
$dt->sub(new DateInterval('PT'.$rmin.'M'));
}
return $dt->format('H:i:s');
}
$times = array(
'10:52:00',
'10:52:59',
'10:53:00',
'10:50:00',
'10:50:14',
'10:50:59',
'10:50:45',
'01:12:00',
'01:05:00',
'01:58:00',
'01:58:59',
'01:59:59',
'01:01:00',
);
foreach ($times as $time) {
var_dump($time.' -> '.getRoundedCutoff($time));
}
preferences:
36.07 ms | 402 KiB | 5 Q