Update redis to 6.0.2, add alternative license file searcher

2026-07-18 22:35:36 +08:00 · 2024-09-09 16:55:17 +08:00
parent c55ccf242b
commit b7b0949625
4 changed files with 19 additions and 10 deletions
--- a/config/source.json
+++ b/config/source.json
@@ -649,11 +649,14 @@
    "redis": {
        "type": "git",
        "path": "php-src/ext/redis",
-        "rev": "5.3.7",
+        "rev": "release/6.0.2",
        "url": "https://github.com/phpredis/phpredis",
        "license": {
            "type": "file",
-            "path": "COPYING"
+            "path": [
+                "LICENSE",
+                "COPYING"
+            ]
        }
    },
    "snappy": {