Add ini_file input to set base php.ini

This commit is contained in:
Shivam Mathur
2022-01-25 13:43:49 +05:30
parent 147905fd60
commit a0a791cada
11 changed files with 132 additions and 23 deletions

View File

@ -398,6 +398,12 @@ Disable coverage for these reasons:
- Shared extensions prefixed with `:` are disabled.
- See [PHP extension support](#heavy_plus_sign-php-extension-support) for more info.
#### `ini-file` (optional)
- Specify the base `php.ini` file.
- Accepts `production`, `development` or `none`.
- By default, production `php.ini` file is used.
#### `ini-values` (optional)
- Specify the values you want to add to `php.ini`.