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

revision 5afc6e1a7f2e727288c7003e7f2287f2fcd9cde3

History