diff options
Diffstat (limited to 'installer/check.php')
| -rw-r--r-- | installer/check.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/installer/check.php b/installer/check.php index fcf35025e..bea8c42e0 100644 --- a/installer/check.php +++ b/installer/check.php @@ -139,10 +139,11 @@ foreach ($RCI->supported_dbs as $database => $ext) { if (extension_loaded($ext)) { // 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'); + $RCI->fail($database, 'PHP >= 5.3 required', null, true); } else { $RCI->pass($database); + $found_db_driver = true; } } else { @@ -152,6 +153,9 @@ foreach ($RCI->supported_dbs as $database => $ext) { } echo '<br />'; } +if (empty($found_db_driver)) { + $RCI->failures++; +} ?> |