Add a note about pre-installed PHP extensions

pull/1/merge
Michele Locati 2018-04-12 09:50:14 +02:00
parent baae7055ac
commit cdbdebc71b
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 6 additions and 0 deletions

View File

@ -92,6 +92,12 @@ RUN chmod uga+x /usr/local/bin/install-php-extensions && \
| zip | V | V | V | V |
<!-- END OF EXTENSIONS TABLE -->
PS: the pre-installed PHP extensions are excluded from this list.
You can list them with the following command (change `php:7.2-cli` to reflect the PHP version you are interested in):
```sh
docker run --rm -it php:7.2-cli php -m
```
## Special requirements