[php] Aufrunden in 0,5er Schritten

[Reinhold]

Hallo Martin,

> wenn du echt runden willst sollte round() ausreichend sein

will nicht auf ganze Zahlen runden, sondern auf den jeweiligen
höheren halben Ganzzahlenwert.

> http://de2.php.net/manual/en/function.round.php
> echo round(3.4); // 3
> echo round(3.5); // 4

round(3.4); sollte 3.5 ergeben, so mein Wunsch.
round(3.5); sollte 3.5 behalten, so mein Wunsch.


-- 
Gruß

Reinhold