diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-03 10:08:20 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-03 10:08:20 +0100 |
commit | 98a8ab1389ea045e328bc000408e96768fafbab1 (patch) | |
tree | 833be397d94094081e8cd00d5aa4bc90b450ef32 /run-tests.php | |
parent | 4cdd15d4146c6040639196787292765c604c34b3 (diff) | |
parent | 27fb0b28dd7cdd060e47e9c0a8c274be62ddba17 (diff) | |
download | php-git-98a8ab1389ea045e328bc000408e96768fafbab1.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Add WHITESPACE_SENSITIVE run-tests section
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 7f39564a64..a5698882db 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1837,7 +1837,7 @@ TEST $file 'CAPTURE_STDIO', 'STDIN', 'CGI', 'PHPDBG', 'INI', 'ENV', 'EXTENSIONS', 'SKIPIF', 'XFAIL', 'XLEAK', 'CLEAN', - 'CREDITS', 'DESCRIPTION', 'CONFLICTS', + 'CREDITS', 'DESCRIPTION', 'CONFLICTS', 'WHITESPACE_SENSITIVE', ))) { $bork_info = 'Unknown section "' . $section . '"'; } |