From 56b1cbc1a90d860ee72871fa38eef4413b83ecba Mon Sep 17 00:00:00 2001
From: Hannes Magnusson <bjori@php.net>
Date: Sun, 3 Dec 2006 10:32:07 +0000
Subject: [PATCH] Fixed bug#38785: float to string cast is always subject to
 locale settings (Copy&paste from man 3 strtod (s/program/script))

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@224252 c90b9560-bf6c-de11-be94-00142212c4b1
---
 language/types.xml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/language/types.xml b/language/types.xml
index e704a5bac7..afdae86c7b 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -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 @@ $foo = "10.0 pigs " + 1.0;        // $foo is float (11)
 ]]>
      </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).