--TEST--
Bug #65230 setting locale randomly broken
--SKIPIF--
<?php
if (substr(PHP_OS, 0, 3) != 'WIN') {
    die('skip Windows only test');
}
?>
--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