From b97327d6d752c66be7401e28de498cfb1298ec26 Mon Sep 17 00:00:00 2001
From: Chuong <kocoten1992@users.noreply.github.com>
Date: Fri, 18 Aug 2023 13:02:24 +0700
Subject: [PATCH] mongodb source.json change from tgz to zip

since ver https://github.com/mongodb/mongo-php-driver/releases/tag/1.16.2

they don't support tgz anymore.
---
 config/source.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/source.json b/config/source.json
index a9ada593..b550587c 100644
--- a/config/source.json
+++ b/config/source.json
@@ -295,7 +295,7 @@
         "type": "ghrel",
         "repo": "mongodb/mongo-php-driver",
         "path": "php-src/ext/mongodb",
-        "match": "mongodb.+\\.tgz",
+        "match": "mongodb.+\\.zip",
         "license": {
             "type": "file",
             "path": "LICENSE"
@@ -467,4 +467,4 @@
             "path": "LICENSE"
         }
     }
-}
\ No newline at end of file
+}