| 12345678910111213141516171819 |
- --TEST--
- Bug #12647 (Locale settings affecting float parsing)
- --INI--
- precision=14
- --SKIPIF--
- <?php # try to activate a german locale
- if (setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1") === FALSE) {
- print "skip Can't find german locale";
- }
- ?>
- --FILE--
- <?php
- # activate the german locale
- setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1");
- echo (float)"3.14", "\n";
- ?>
- --EXPECT--
- 3.14
|
