diff --git a/run-tests.php b/run-tests.php index e046857c66e..64d0980e686 100755 --- a/run-tests.php +++ b/run-tests.php @@ -860,9 +860,22 @@ More .INIs : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n" } @unlink($info_file); - // load list of enabled extensions - save_text($info_file, - ''); + // load list of enabled and loadable extensions + save_text($info_file, <<<'PHP' + + PHP); $exts_to_test = explode(',', `$php $pass_options $info_params $no_file_cache "$info_file"`); // check for extensions that need special handling and regenerate $info_params_ex = [