diff --git a/check.php-dist b/check.php-dist
index dac2ae022..91c4b4b6c 100644
--- a/check.php-dist
+++ b/check.php-dist
@@ -83,6 +83,9 @@ $supported_drivers = array('MDB2#mysql' => 'MDB2/Driver/mysql.php',
$supported_dbs = array('MySQL' => 'mysql', 'MySQLi' => 'mysqli',
'PostgreSQL' => 'pgsql', 'SQLite (v2)' => 'sqlite');
+$php_ext = array('Session' => 'session', 'FileInfo' => 'fileinfo',
+ 'Regex (perl)' => 'pcre', 'Sockets' => 'sockets', 'Multibyte' => 'mbstring');
+
$path = dirname(__FILE__) . '/';
$check = basename(__FILE__);
@@ -151,7 +154,28 @@ foreach ($supported_dbs AS $database => $ext) {
} else {
$_ext = $prefix . $ext . '.' . PHP_SHLIB_SUFFIX;
echo CHECK_NA;
- if (dl($_ext)) {
+ if (@dl($_ext)) {
+ echo ' (Could be loaded. Please add in php.ini, if you plan on using it.)';
+ } else {
+ echo ' (Not installed.)';
+ }
+ }
+ echo '
';
+}
+
+echo '
Not all of those extensions are needed, but it does not hurt to have them.
'; +echo 'The best is to see only green in this section! :-)
'; + +$prefix = (PHP_SHLIB_SUFFIX === 'dll') ? 'php_' : ''; +foreach ($php_ext AS $name => $ext) { + echo "$name: "; + if (extension_loaded($ext)) { + echo CHECK_OK; + } else { + $_ext = $prefix . $ext . '.' . PHP_SHLIB_SUFFIX; + echo CHECK_NA; + if (@dl($_ext)) { echo ' (Could be loaded. Please add in php.ini, if you plan on using it.)'; } else { echo ' (Not installed.)'; @@ -433,4 +457,4 @@ if ($rctest_config['default_host'] == '') { } ?>