- Added missing SKIPIF

This commit is contained in:
foobar 2007-06-29 13:51:18 +00:00
parent c27fff27be
commit 5b3bb06fb8

View file

@ -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");
}