Describe the feature

In sebastianbergmann/phpunit#4747, @sebastianbergmann suggests enabling only required PHP extensions for GitHub Actions, in order to have a clear sense of which PHP extensions are required. By default, shivammathur/setup-php has a wide range of PHP extensions enabled, and while it is possible to disable and enable extensions at will, disabling extensions can become quite tedious.

For an example, see sebastianbergmann/phpunit#4759.

Can you think of a way that would keep everything as it is right now (for users who currently use shivammathur/setup-php while implicitly depending on PHP extensions), and adding an option of some kind that

• disables all PHP extensions as far as possible
• allows specifying required PHP extensions only

?

Version

• I have checked releases, and the feature is missing in the latest patch version of v2.

Underlying issue

This would solve the problem where a project has hidden dependencies on PHP extensions in a specific GitHub Actions workflow.

Describe alternatives

We could specify a list of extensions, in the hope that it is exhaustive, and disable and enable at will (see sebastianbergmann/phpunit#4759).

Additional context

n/a

Are you willing to submit a PR?

I might try!

Alternatively, I am happy to send some some money your way, if it helps!