php german locale + float to string conversion: comma and not dot

revision 9af57d4f83c19b4f280eb6e0d1d47bce843c3bad

History