diff options
author | Remi Collet <remi@php.net> | 2020-03-03 13:06:46 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2020-03-03 13:06:46 +0100 |
commit | ef03236d9d1fd3558f70d8920f88b13fb525fed3 (patch) | |
tree | d038f5d8478c18e0c69717888329fc76dee3ae05 | |
parent | ec03689eb9582ea168b0592eddc435443d7b640c (diff) | |
parent | b093bd6ae82e796cdc395238d30afc2721805287 (diff) | |
download | php-git-ef03236d9d1fd3558f70d8920f88b13fb525fed3.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
this test needs json
-rw-r--r-- | ext/pcre/tests/bug79241.phpt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/pcre/tests/bug79241.phpt b/ext/pcre/tests/bug79241.phpt index f6dbb8bea4..de89e19760 100644 --- a/ext/pcre/tests/bug79241.phpt +++ b/ext/pcre/tests/bug79241.phpt @@ -1,5 +1,7 @@ --TEST-- Bug #79241: Segmentation fault on preg_match() +--SKIPIF-- +<?php if (!extension_loaded("json")) print "skip json extension missing"; ?> --FILE-- <?php |