travis php.ini added