Ciao a tutti! La mia domande del giorno è:

come faccio ad arrotondare un orario al quarto d'ora più vicino?

per esempio sono le 12.29 in questo momento e vorrei ottenere 12.30, piuttosto che 12.15.
Come faccio phpemente parlando?

usavo
codice:
$minuti=floor(date("i")/15)*15;
..ma in questo modo arrotondavo sempre al quarto d'ora precedente..