From c05cde20fd7e587f1a0284f96e89f77ccf5488c0 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Tue, 12 Apr 2005 07:40:55 +0000
Subject: [PATCH] Floats in array key (bug #32671)

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@184200 c90b9560-bf6c-de11-be94-00142212c4b1
---
 language/types.xml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/language/types.xml b/language/types.xml
index e46f86719a..3f41037468 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.152 $ -->
+<!-- $Revision: 1.153 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -1336,7 +1336,9 @@ echo $arr[12];    // 1
       be interpreted as such (i.e.  <literal>"8"</literal> will be
       interpreted as <literal>8</literal>, while
       <literal>"08"</literal> will be interpreted as
-      <literal>"08"</literal>). There are no different indexed and
+      <literal>"08"</literal>).
+      Floats in <varname>key</varname> are truncated to <type>integer</type>.
+      There are no different indexed and
       associative array types in PHP; there is only one array type,
       which can both contain integer and string indices.
      </para>