[ticket/12318] Use MySQL instead of MySQLi for now on HHVM.

PHPBB3-12318