Как округлить время при помощи PHP?

Возникла необходимость округлить время до ближайшего, скажем, получаса. Решение нашёл в комментариях к статье:

function round_time($ts, $step) {
return(floor(floor($ts/60)/60)*3600+floor(date("i",$ts)/$step)*$step*60);
}