Show Zend version

diff --git a/run-tests.php b/run-tests.php
index 87d2c2add454c1b82172f729272dbf1828f9138c..b7a8031f775115065f03134f4f550539626671fa 100755 (executable)
--- 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 **"); ?>';