Arrondir un nombre à la dizaine supérieure
Pour les besoins d'une interface de tickets, j'ai eu besoin d'arrondir les minutes courantes à la dizaine supérieure. Cela se fait très simplement en utilisant l'opérateur modulo (%):
$i = date('i'); $m = $i % 10; $i = $i + (10 - $m);
De là à en faire une fonction, il n'y a qu'un pas, que je franchis allégrement devant vos yeux ébahis:
function round_to($i, $to) { return $i + ($to - ($i % $to)); }
Comments
clap clap :)
/me en reste bouche bée
tas pas des trucs rigolo a raconter ? :D