; 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