Aleksander Machniak
2013-06-19 3bbe4e7424f12b4f870fb775b8230714a2862380
installer/check.php
@@ -139,10 +139,11 @@
    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 @@
    }
    echo '<br />';
}
if (empty($found_db_driver)) {
  $RCI->failures++;
}
?>