php configuration for travis
php configuration for travis