note 39312 added to function.setlocale

I noticed that PHP sometimes doesn't switch the locale as it should. Although I used <?php setlocale(LC_TIME, 'German'); ?>, I sometimes got e.g. "Monday" instead of "Montag" for the day of week. So I now set the locale using the following do ... while: <?php $locale = 'de_DE.ISO8859-1'; do { $locale_result = setlocale(LC_TIME, $locale); } while ($locale_result != $locale); ?> ---- Manual Page -- http://www.php.net/manual/en/function.setlocale.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+39312 Delete -- http://master.php.net/manage/user-notes.php?action=delete+39312&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+39312&report=yes Search -- http://master.php.net/manage/user-notes.php