php_settings: version: 7.3