cvs: phpdoc /en/language types.xml

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