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).
