Fix the script to correctly determine the extensions to be tested

diff --git a/run-tests.php b/run-tests.php
index ec8e5e4393424509e1d558892b3cef81e471ab77..eb6a56277db55d71b0d486c40ee6ad1d07aace63 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -218,7 +218,7 @@ More .INIs  : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n"
 
        // load list of enabled extensions
        save_text($info_file, '<?php echo join(",", get_loaded_extensions()); ?>');
-       $exts_to_test = explode(', ',`$php $pass_options $info_params "$info_file"`);
+       $exts_to_test = explode(',',`$php $pass_options $info_params "$info_file"`);
        // check for extensions that need special handling and regenerate
        $info_params_ex = array(
                'session' => array('session.auto_start=0'),