diff options
-rwxr-xr-x | run-tests.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 87d2c2add4..b7a8031f77 100755 --- a/run-tests.php +++ b/run-tests.php @@ -105,6 +105,7 @@ $info_file = realpath(dirname(__FILE__)) . '/run-test-info.php'; $php_info = '<?php echo " PHP_SAPI : " . PHP_SAPI . " PHP_VERSION : " . phpversion() . " +ZEND_VERSION: " . zend_version() . " PHP_OS : " . PHP_OS . " INI actual : " . realpath(get_cfg_var("cfg_file_path")) . " More .INIs : " . (function_exists(\'php_ini_scanned_files\') ? str_replace("\n","", php_ini_scanned_files()) : "** not determined **"); ?>'; |