diff options
Diffstat (limited to 'installer')
| -rw-r--r-- | installer/check.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/installer/check.php b/installer/check.php index d6c9f5c40..886200b84 100644 --- a/installer/check.php +++ b/installer/check.php @@ -130,7 +130,13 @@ foreach ($optional_php_exts as $name => $ext) { $prefix = (PHP_SHLIB_SUFFIX === 'dll') ? 'php_' : ''; foreach ($RCI->supported_dbs as $database => $ext) { if (extension_loaded($ext)) { - $RCI->pass($database); + // MySQL driver requires PHP >= 5.3 (#1488875) + if ($ext == 'pdo_mysql' && version_compare(PHP_VERSION, '5.3.0', '<')) { + $RCI->fail($database, 'PHP >= 5.3 required'); + } + else { + $RCI->pass($database); + } } else { $_ext = $ext_dir . '/' . $prefix . $ext . '.' . PHP_SHLIB_SUFFIX; |