From 77b798d3289f036a73869a6511b5e74263e4e8e3 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 21 Aug 2019 12:44:24 +0200
Subject: [PATCH] Add support to PCOV

---
 data/supported-extensions | 1 +
 install-php-extensions    | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/data/supported-extensions b/data/supported-extensions
index 1194b5b..3e3a6da 100644
--- a/data/supported-extensions
+++ b/data/supported-extensions
@@ -24,6 +24,7 @@ mysqli 5.6 7.0 7.1 7.2 7.3
 odbc 5.6 7.0 7.1 7.2 7.3
 opcache 5.6 7.0 7.1 7.2 7.3
 pcntl 5.6 7.0 7.1 7.2 7.3
+pcov 7.0 7.1 7.2 7.3
 pdo_dblib 5.6 7.0 7.1 7.2 7.3
 pdo_firebird 5.6 7.0 7.1 7.2 7.3
 pdo_mysql 5.6 7.0 7.1 7.2 7.3
diff --git a/install-php-extensions b/install-php-extensions
index 2123ce5..30858ae 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -460,6 +460,12 @@ installPECLModule () {
 				installPECLModule_actual="${2}-2.2.0"
 			fi
 			;;
+		pcov)
+			if test $1 -lt 701
+			then
+				installPECLModule_actual="${2}-0.9.0"
+			fi
+			;;
 		pthreads)
 			if test $1 -lt 700
 			then