mantisbt/mantisbt — pull request #135 by dregad (2014-02-08 16:10:33+00:00)
Title: Change default db type from mysql to mysqli

The mysql extension is deprecated as of PHP 5.5.0 [1] so we use mysqli
as our default database type.

Commit includes relevant changes in installer, admin checks and
documentation (admin guide).

[1] http://php.net/intro.mysql