[PHP-DOC] cvs: phpdoc /en/language types.xml

[Derick Rethans]

derick          Fri May 24 14:50:51 2002 EDT

  Modified files:              
    /phpdoc/en/language types.xml 
  Log:
  - More corrections (fixes bug #17387)
  
  
Index: phpdoc/en/language/types.xml
diff -u phpdoc/en/language/types.xml:1.80 phpdoc/en/language/types.xml:1.81
--- phpdoc/en/language/types.xml:1.80   Fri May 24 14:49:33 2002
+++ phpdoc/en/language/types.xml        Fri May 24 14:50:50 2002
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.80 $ -->
+<!-- $Revision: 1.81 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -1012,7 +1012,7 @@
 $foo = 1 + "bob-1.3e3";         // $foo is integer (1)
 $foo = 1 + "bob3";              // $foo is integer (1)
 $foo = 1 + "10 Small Pigs";     // $foo is integer (11)
-$foo = 1 + "10 Little Piggies"; // $foo is integer (11)
+$foo = 4 + "10.2 Little Piggies"; // $foo is float (14.2)
 $foo = "10.0 pigs " + 1;        // $foo is float (11)
 $foo = "10.0 pigs " + 1.0;      // $foo is float (11)     
 ]]>