From cdbdebc71b16b69e02f1b3d17ab483bf2502c5a2 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Thu, 12 Apr 2018 09:50:14 +0200
Subject: [PATCH] Add a note about pre-installed PHP extensions

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 0bb686b..b926fa7 100644
--- a/README.md
+++ b/README.md
@@ -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