diff options
Diffstat (limited to 'ext/filter')
| -rw-r--r-- | ext/filter/tests/033.phpt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/filter/tests/033.phpt b/ext/filter/tests/033.phpt index 18a3616903..f965e35c1f 100644 --- a/ext/filter/tests/033.phpt +++ b/ext/filter/tests/033.phpt @@ -2,6 +2,8 @@ Test all filters returned by filter_list() --SKIPIF-- <?php if (!extension_loaded("filter")) die("skip"); ?> +--INI-- +precision=14 --FILE-- <?php include dirname(__FILE__) . '/033_run.inc'; |