Re: Deprecate setlocale?
| From: | Marc Bennewitz | Date: | Wed, 01 Apr 2015 19:18:01 +0000 |
| Subject: | Re: Deprecate setlocale? | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-85656@lists.php.net to get a copy of this message | ||
Am 01.04.2015 um 20:58 schrieb Stanislav Malyshev:
Hi!-> I'm a german with comma (",") as decimal separator and I have never seen such a comma in microtime separation -> There is no way to define this behavior in a date format Marchttps://bugs.php.net/bug.php?id=67127 - breaks DateTimeThis looks like misunderstanding how float-to-string works. If you asked it to put commas as decimal separator, don't be surprised it puts commas as decimal separator. This should be true for number formatting but it's not true for date format.