1--TEST-- 2Bug #12647 (Locale settings affecting float parsing) 3--INI-- 4precision=14 5--SKIPIF-- 6<?php # try to activate a german locale 7if (setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1") === FALSE) { 8 print "skip Can't find german locale"; 9} 10?> 11--FILE-- 12<?php 13# activate the german locale 14setlocale(LC_NUMERIC, "de_DE.UTF-8", "de_DE", "de", "german", "ge", "de_DE.ISO-8859-1"); 15 16echo (float)"3.14", "\n"; 17?> 18--EXPECT-- 193,14 20
