From 767583b9f43a0480fb07e2de2f0978058b06ef8d Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Fri, 10 Apr 2020 00:16:26 +0530
Subject: [PATCH] Reset key for PCOV on PHP8 on windows

---
 src/extensions.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/extensions.sh b/src/extensions.sh
index df07c39..34b5b97 100644
--- a/src/extensions.sh
+++ b/src/extensions.sh
@@ -87,6 +87,9 @@ elif [ "$os" = "Darwin" ]; then
 else
   os="Windows"
   dir='C:\\tools\\php\\ext'
+  if [ "$version" = "8.0" ] && [[ "$extensions" == *pcov* ]]; then
+    key="$key-pcov_20200410"
+  fi
 fi
 key="$os"-ext-"$version"-$(echo -n "$extensions-$key" | openssl dgst -sha256 | cut -d ' ' -f 2)
 echo "::set-output name=dir::$dir"