From 5b3bb06fb8df473261b200f1e99eb64167c85f2d Mon Sep 17 00:00:00 2001
From: foobar <sniper@php.net>
Date: Fri, 29 Jun 2007 13:51:18 +0000
Subject: [PATCH] - Added missing SKIPIF

---
 ext/json/tests/bug41403.phpt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ext/json/tests/bug41403.phpt b/ext/json/tests/bug41403.phpt
index 369053fe0d..67febcbf12 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");
 }
-- 
2.50.1