From 1970a00fc38b3242f6a4002b40e3c76491b4cd54 Mon Sep 17 00:00:00 2001
From: Sylvain <sylfabre@users.noreply.github.com>
Date: Thu, 27 May 2021 19:39:02 +0200
Subject: [PATCH] Update php.sh

---
 images/linux/scripts/installers/php.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/images/linux/scripts/installers/php.sh b/images/linux/scripts/installers/php.sh
index 4d01442d2e3ff..511c369d42063 100644
--- a/images/linux/scripts/installers/php.sh
+++ b/images/linux/scripts/installers/php.sh
@@ -81,7 +81,7 @@ for version in $php_versions; do
 
         # Disable PCOV, as Xdebug is enabled by default
         # https://github.com/krakjoe/pcov#interoperability
-        phpdismod pcov
+        phpdismod -v $version pcov
     fi
 
     if [[ $version = "7.0" || $version = "7.1" ]]; then