php_settings:
  version: 7.1