machine:
  php:
    version: 7.1.3