From 7d3d1111c75373f18f3eeab0289bcbd07764c1b5 Mon Sep 17 00:00:00 2001
From: Travis CI <michele@locati.it>
Date: Tue, 24 Dec 2019 09:40:59 +0000
Subject: [PATCH] [skip ci] Automatically update README.md

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 9390f83..d9fc21e 100644
--- a/README.md
+++ b/README.md
@@ -86,6 +86,7 @@ RUN install-php-extensions gd xdebug
 | pdo_pgsql | V | V | V | V | V | V |
 | pdo_sqlsrv |  | V | V | V | V | V |
 | pgsql | V | V | V | V | V | V |
+| propro | V | V | V | V | V | V |
 | protobuf | V | V | V | V | V | V |
 | pspell | V | V | V | V | V | V |
 | pthreads | V | V |  |  |  |  |
@@ -115,7 +116,7 @@ RUN install-php-extensions gd xdebug
 | yaml | V | V | V | V | V | V |
 | zip | V | V | V | V | V | V |
 
-*Number of supported extensions: 70*
+*Number of supported extensions: 71*
 <!-- END OF EXTENSIONS TABLE -->
 
 PS: the pre-installed PHP extensions are excluded from this list.