fix convert int to float issue

This commit is contained in:
吕海涛 2017-09-25 12:20:14 +08:00
parent a24ca62c9e
commit 784d8c7bf4
2 changed files with 3 additions and 1 deletions

View File

@ -557,7 +557,7 @@ class Toml
{
$val = str_replace('_', '', $val);
if(is_int($val))
if(ctype_digit($val))
{
$parsedVal = (int) $val;
}

View File

@ -249,3 +249,5 @@ color = "gray"
[user.contributed.cases]
slashes="SERVER\\MASTER"
foo = [1,2,3.1]