diff options
| -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 7b20b0bde3..5f8055d2f3 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1324,7 +1324,7 @@ TEST $file 'CAPTURE_STDIO', 'STDIN', 'CGI', 'PHPDBG', 'INI', 'ENV', 'EXTENSIONS', 'SKIPIF', 'XFAIL', 'CLEAN', - 'CREDITS', 'DESCRIPTION', + 'CREDITS', 'DESCRIPTION', 'CONFLICTS', ))) { $bork_info = 'Unknown section "' . $section . '"'; } |