Travis CI configuration:
- fixed disabling of PHP version