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