1--TEST-- 2Bug #12647 (Locale settings affecting float parsing) 3--INI-- 4precision=14 5--SKIPIF-- 6<?php # try to activate a german locale 7if (substr(PHP_OS, 0, 3) == 'WIN') { 8 /* skip on windows until #63688 was fixed */ 9 die('skip'); 10} 11if (setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1") === FALSE) { 12 print "skip Can't find german locale"; 13} 14?> 15--FILE-- 16<?php 17# activate the german locale 18setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1"); 19 20echo (float)"3.14", "\n"; 21?> 22--EXPECT-- 233,14 24