diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-10-07 13:20:14 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-10-07 13:22:11 +0200 |
commit | 8cdab9b217fad0fbcf6d658befc66cd5d8a8fc95 (patch) | |
tree | ca104ca21a529f5cb157a512f7cac55f1bd25db9 /run-tests.php | |
parent | 81d95c4c3ca4828943bd8169a9b7760b4e54ec98 (diff) | |
download | php-git-8cdab9b217fad0fbcf6d658befc66cd5d8a8fc95.tar.gz |
Bail out if JUNIT is not enabled
Otherwise we would try to access an array element of `false`, which
issues a notice as of PHP 7.4.0. This would happen, for instance, for
bug63447_001.phpt if CGI is not available.
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 909a8ea9b7..5adfcd2991 100755 --- a/run-tests.php +++ b/run-tests.php @@ -3504,6 +3504,8 @@ function junit_path_to_classname($file_name) { global $JUNIT; + if (!junit_enabled()) return ''; + $ret = $JUNIT['name']; $_tmp = array(); |