phpExtensions.redis: Move to separate directory

2020-10-11 19:53:07 +02:00
parent 80ba7d0c87
commit f5a4a96fad
2 changed files with 18 additions and 14 deletions
--- a/pkgs/development/php-packages/redis/default.nix
+++ b/pkgs/development/php-packages/redis/default.nix
@@ -0,0 +1,17 @@
+{ buildPecl, lib, php }:
+
+buildPecl {
+  pname = "redis";
+
+  version = "5.1.1";
+  sha256 = "1041zv91fkda73w4c3pj6zdvwjgb3q7mxg6mwnq9gisl80mrs732";
+
+  internalDeps = with php.extensions; [
+    json
+    session
+  ] ++ lib.optionals (lib.versionOlder php.version "7.4") [
+    hash
+  ];
+
+  meta.maintainers = lib.teams.php.members;
+}