machine:
  php:
    version: 7.3