From 757e147ea2cdc2435d14cab88d204d5c8cb73729 Mon Sep 17 00:00:00 2001 From: lamentxu <1372449351@qq.com> Date: Wed, 1 Apr 2026 12:33:08 +0800 Subject: [PATCH] Update run-tests.php --- run-tests.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index 195d17fa0a03..28623ddc6cf3 100755 --- a/run-tests.php +++ b/run-tests.php @@ -881,7 +881,8 @@ function write_information(array $user_tests, $phpdbg): void } echo implode(',', $exts); PHP); - $extensionsNames = explode(',', shell_exec("$php_escaped $pass_options $info_params $no_file_cache \"$info_file\"")); + $shellOutput = shell_exec("$php_escaped $pass_options $info_params $no_file_cache \"$info_file\""); + $extensionsNames = $shellOutput !== null && $shellOutput !== false ? explode(',', $shellOutput) : []; $exts_to_test = array_unique(remap_loaded_extensions_names($extensionsNames)); // check for extensions that need special handling and regenerate $info_params_ex = [