diff options
author | Anatol Belski <ab@php.net> | 2017-10-12 12:48:36 +0200 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2017-11-13 19:37:38 +0100 |
commit | a5bc5aed71f7a15f14f33bb31b8e17bf5f327e2d (patch) | |
tree | fe551e3a9eb951119e0b795f180e11e47a3f4c21 /run-tests.php | |
parent | fd463cfbad66c962d25647211602c69303369206 (diff) | |
download | php-git-a5bc5aed71f7a15f14f33bb31b8e17bf5f327e2d.tar.gz |
Patch core for PCRE2 support
RFC https://wiki.php.net/rfc/pcre2-migration
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 1742514b5d..bb8593895e 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1300,7 +1300,7 @@ TEST $file $section = $r[1]; settype($section, 'string'); - if (isset($section_text[$section])) { + if (isset($section_text[$section]) && $section_text[$section]) { $bork_info = "duplicated $section section"; $borked = true; } |