diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-08-10 13:18:19 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2016-08-10 13:19:29 +0200 |
| commit | 353f7483c61e7e4d375d4637f1e97406669648ac (patch) | |
| tree | f4a566778f7650fc311981967392aebf19708010 /phpdoc.dist.xml | |
| parent | 7e6db8ef0dd87c11a77f674e77d8b47489eef8a5 (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 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions