diff --git a/installer/check.php b/installer/check.php
index 3ec4c2e05c..8049883f20 100644
--- a/installer/check.php
+++ b/installer/check.php
@@ -171,7 +171,8 @@
echo '
';
}
if (empty($found_db_driver)) {
- $RCI->failures++;
+ echo '
';
+ $RCI->fail('Database extensions', 'See above');
}
?>