Merge pull request #6315 from MrPetovan/bug/6309-add-fulltext-index-profile

Rework mod/match and mod/msearch
This commit is contained in:
Michael Vogel 2018-12-27 18:04:06 +01:00 committed by GitHub
commit 94eca77041
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
131 changed files with 508 additions and 762 deletions

View file

@ -585,7 +585,6 @@ class Installer
*/
public function checkDB($dbhost, $dbuser, $dbpass, $dbdata)
{
require_once 'include/dba.php';
if (!DBA::connect($dbhost, $dbuser, $dbpass, $dbdata)) {
$this->addCheck(L10n::t('Could not connect to database.'), false, true, '');