diff options
author | Andrey Andreev <narf@devilix.net> | 2016-08-10 13:18:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-10 13:18:19 +0200 |
commit | 28d97168bf82d50440a489efda32b707fbcd1dbd (patch) | |
tree | a94ac84af274aa42bb1844b983a07daeff30222c /system/libraries/Javascript.php | |
parent | 7cac1ec60344b825a2be17fd8b8d55d78ba0cfe6 (diff) | |
parent | a40418b794843f9ab37c30a909f3118a5c1c63af (diff) |
Merge pull request #4755 from tianhe1986/develop_not_replace_is_double
CI_Unit_test: Do not replace "is_double" with "is_float".
Diffstat (limited to 'system/libraries/Javascript.php')
0 files changed, 0 insertions, 0 deletions