dedlfix: round-funktion rundet falsch...

Beitrag lesen

echo $begrüßung;

Ja, das ist ein bekanntes Problem, ich habe mich darum gekümmert, dass es bei PHP 5.3 nicht mehr auftritt,

Hmm, in PHP Version 5.2.8-pl2-gentoo tritt das Problem nicht auf, da wird aufgerundet. Vielleicht hat Gentoo den Patch schon rückwirkend aktiviert.

echo "$verabschiedung $name";