From 297729aa324710f9547fb5dc7a8bbcdf85049d21 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Sun, 30 Mar 2014 03:37:25 +0200
Subject: [ticket/12318] Use MySQL instead of MySQLi for now on HHVM.

PHPBB3-12318
---
 travis/setup-webserver.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/travis/setup-webserver.sh b/travis/setup-webserver.sh
index 0dceead565..9802fab749 100755
--- a/travis/setup-webserver.sh
+++ b/travis/setup-webserver.sh
@@ -29,6 +29,10 @@ then
 	sudo apt-get -o Dpkg::Options::="--force-confnew" \
 		install -y hhvm=3.0.0~precise
 
+	# MySQLi is broken in HHVM 3.0.0~precise and still does not work for us in
+	# 2014.03.28~saucy, i.e. needs more work. Use MySQL extension for now.
+	sed -i "s/mysqli/mysql/" "$DIR/phpunit-mysql-travis.xml"
+
 	HHVM_LOG=$(realpath "$DIR")/hhvm.log
 
 	sudo hhvm \
-- 
cgit v1.2.1