php_default_version: '5.6'
php_managed_versions:
  - '5.6'
  - '7.0'
  - '7.1'
  - '7.2'