; this file serves to configure the PHP environment on travis-ci.com ; see http://docs.travis-ci.com/user/languages/php/#Custom-PHP-configuration date.timezone = "Europe/Paris" phar.readonly = Off
