Fix typo in available options

`extension` should actually be `extensions`.
This commit is contained in:
Sven Luijten 2019-12-14 14:53:04 +01:00 committed by GitHub
parent cfa7bc51cd
commit 50344f4883
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -116,7 +116,7 @@ with:
Inputs supported by this GitHub Action.
- php-version `required`
- extension `optional`
- extensions `optional`
- ini-values `optional`
- coverage `optional`
- pecl `optional`