Ahh! Nice catch Matt!

Thanks
-Hannes

On 12/3/06, Matt Wilmas <[EMAIL PROTECTED]> wrote:
Hi Hannes,

This was added in the "String conversion to numbers" section...?  The bug
report was about behavior of the opposite.  Seems it would belong in the
"Converting to string" section right above this. :-)


Matt


----- Original Message -----
From: "Hannes Magnusson"
Sent: Sunday, December 03, 2006


> bjori Sun Dec  3 10:32:07 2006 UTC
>
>   Modified files:
>     /phpdoc/en/language types.xml
>   Log:
>   Fixed bug#38785: float to string cast is always subject to locale
settings
>   (Copy&paste from man 3 strtod (s/program/script))
>
>
>
>
http://cvs.php.net/viewvc.cgi/phpdoc/en/language/types.xml?r1=1.169&r2=1.170&diff_format=u
> Index: phpdoc/en/language/types.xml
> diff -u phpdoc/en/language/types.xml:1.169
phpdoc/en/language/types.xml:1.170
> --- phpdoc/en/language/types.xml:1.169 Thu Nov 23 09:07:21 2006
> +++ phpdoc/en/language/types.xml Sun Dec  3 10:32:07 2006
> @@ -1,5 +1,5 @@
>  <?xml version="1.0" encoding="iso-8859-1"?>
> -<!-- $Revision: 1.169 $ -->
> +<!-- $Revision: 1.170 $ -->
>   <chapter id="language.types">
>    <title>Types</title>
>
> @@ -1262,6 +1262,13 @@
>  ]]>
>       </programlisting>
>      </informalexample>
> +    <note>
> +     <para>
> +      The decimal point character is defined in the script's
> +      locale (category LC_NUMERIC).
> +      See <function>setlocale</function>.
> +     </para>
> +    </note>
>      <simpara>
>       For more information on this conversion, see the Unix manual page
>       for strtod(3).


Reply via email to