- Added missing SKIPIF

diff --git a/ext/json/tests/bug41403.phpt b/ext/json/tests/bug41403.phpt
index 369053fe0dace3639ccaaf0f2853b730abdea459..67febcbf12bd7f603a78112030525fc49cfe4458 100644 (file)
--- 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");
 }