1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
--TEST--
Bug #65230 setting locale randomly broken
--SKIPIF--
<?php
if (substr(PHP_OS, 0, 3) != 'WIN') {
die('skip');
}
?>
--INI--
date.timezone=Europe/Berlin
--FILE--
<?php
function test($locale, $value)
{
$newlocale = setlocale(LC_ALL, $locale);
$conv = localeconv();
$sep = $conv['decimal_point'];
printf("%s\n--------------------------\n", $newlocale);
printf(" sep: %s\n", $sep);
printf(" %%f: %f\n", $value);
printf(" %%F: %F\n", $value);
printf("date: %s\n", strftime('%x', mktime(0, 0, 0, 12, 5, 2014)));
printf("\n");
}
test('german', 3.41);
test('english', 3.41);
test('french', 3.41);
test('german', 3.41);
--EXPECT--
German_Germany.1252
--------------------------
sep: ,
%f: 3,410000
%F: 3.410000
date: 05.12.2014
English_United States.1252
--------------------------
sep: .
%f: 3.410000
%F: 3.410000
date: 12/5/2014
French_France.1252
--------------------------
sep: ,
%f: 3,410000
%F: 3.410000
date: 05/12/2014
German_Germany.1252
--------------------------
sep: ,
%f: 3,410000
%F: 3.410000
date: 05.12.2014
|
