mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-09 10:16:36 +02:00
Code Issues Releases Wiki Activity

[ticket/12592] Rename mysql environment to mysqli.

Browse Source 
PHPBB3-12592
This commit is contained in:
Andreas Fischer
2014-05-26 18:49:29 +02:00
parent 26674bff39
commit c0dc0fc09b
4 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
travis/phing-sniff.sh
View File

@@ -9,7 +9,7 @@ set -x
DB=$1
TRAVIS_PHP_VERSION=$2
if [ "$TRAVIS_PHP_VERSION" == "5.5" -a "$DB" == "mysql" ]
if [ "$TRAVIS_PHP_VERSION" == "5.5" -a "$DB" == "mysqli" ]
then
cd build
../phpBB/vendor/bin/phing sniff