Aleksander Machniak
2013-06-18 e7fa2ce56d0c9e3d791f3c145febbb9ab16be838
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++;
}
?>