Visiting index.php should redirect to install.php if settings.php already has database credentials but database is empty.