diff options
| -rw-r--r-- | ext/json/tests/bug41403.phpt | 3 | ||||
| -rw-r--r-- | ext/json/tests/bug41504.phpt | 4 | ||||
| -rw-r--r-- | ext/json/tests/bug41567.phpt | 2 |
3 files changed, 8 insertions, 1 deletions
diff --git a/ext/json/tests/bug41403.phpt b/ext/json/tests/bug41403.phpt index 80576c85b1..1a7343122a 100644 --- a/ext/json/tests/bug41403.phpt +++ b/ext/json/tests/bug41403.phpt @@ -2,6 +2,9 @@ Bug #41403 (json_decode cannot decode floats if localeconv decimal_point is not '.') --SKIPIF-- <?php + +if (!extension_loaded('json')) die('skip'); + if (setlocale(LC_NUMERIC, "de_DE") === false) { die("skip no de_DE locale"); } diff --git a/ext/json/tests/bug41504.phpt b/ext/json/tests/bug41504.phpt index 6e51bb91a9..32589b00f9 100644 --- a/ext/json/tests/bug41504.phpt +++ b/ext/json/tests/bug41504.phpt @@ -1,5 +1,7 @@ --TEST-- Bug #41504 (json_decode() converts empty array keys to "_empty_") +--SKIPIF-- +if (!extension_loaded('json')) die('skip'); --FILE-- <?php @@ -26,4 +28,4 @@ array(2) { [""]=> string(5) "value" } -Done
\ No newline at end of file +Done diff --git a/ext/json/tests/bug41567.phpt b/ext/json/tests/bug41567.phpt index 837c360a87..0b8f6036f2 100644 --- a/ext/json/tests/bug41567.phpt +++ b/ext/json/tests/bug41567.phpt @@ -1,5 +1,7 @@ --TEST-- Bug #41567 (json_encode() double conversion is inconsistent with PHP) +--SKIPIF-- +if (!extension_loaded('json')) die('skip'); --FILE-- <?php |