From 4c5efee1da232e98bd0998cf7e67908171e715b1 Mon Sep 17 00:00:00 2001
From: Pol Dellaiera <pol.dellaiera@protonmail.com>
Date: Sun, 25 Dec 2022 20:50:55 +0100
Subject: [PATCH] php.extensions.redis: update `src` attribute

So it can be automatically updated with `nix-update`
---
 pkgs/development/php-packages/redis/default.nix | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/php-packages/redis/default.nix b/pkgs/development/php-packages/redis/default.nix
index b54d85b73ec..42cc89b4874 100644
--- a/pkgs/development/php-packages/redis/default.nix
+++ b/pkgs/development/php-packages/redis/default.nix
@@ -1,16 +1,24 @@
-{ buildPecl, lib, php }:
+{ buildPecl, lib, php, fetchFromGitHub }:
 
-buildPecl {
+let
+  version = "5.3.7";
+in buildPecl {
+  inherit version;
   pname = "redis";
 
-  version = "5.3.7";
-  sha256 = "sha256-uVgWbM2k9AvRfGmY+eIjkCGuZERnzYrVwV3vQgqtZbA=";
+  src = fetchFromGitHub {
+    repo = "phpredis";
+    owner = "phpredis";
+    rev = version;
+    sha256 = "sha256-Cc9Mtx28j3kpyV8Yq+JSYQt5XQnELaVjuUbkkbG45kw=";
+  };
 
   internalDeps = with php.extensions; [
     session
   ];
 
   meta = with lib; {
+    changelog = "https://github.com/phpredis/phpredis/releases/tag/${version}";
     description = "PHP extension for interfacing with Redis";
     license = licenses.php301;
     homepage = "https://github.com/phpredis/phpredis/";