diff --git a/language/types.xml b/language/types.xml index 49db03243e..9d1dec2cab 100644 --- a/language/types.xml +++ b/language/types.xml @@ -1,5 +1,5 @@ - + Types @@ -1029,7 +1029,7 @@ $foo = "10.0 pigs " + 1.0; // $foo is float (11) \n"; +echo "\$foo==$foo; type is " . gettype ($foo) . "
\n"; ]]>