From 2f54a3bcef6c3a7be14f5984940f7d4546f01f0f Mon Sep 17 00:00:00 2001
From: Jan Schmitt <git@smittie.de>
Date: Tue, 18 Apr 2023 14:06:59 +0200
Subject: [PATCH] phpunit: enable for all platforms

---
 pkgs/development/tools/misc/phpunit/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/tools/misc/phpunit/default.nix b/pkgs/development/tools/misc/phpunit/default.nix
index e640209e9f64..8a75ecafe954 100644
--- a/pkgs/development/tools/misc/phpunit/default.nix
+++ b/pkgs/development/tools/misc/phpunit/default.nix
@@ -31,5 +31,6 @@ stdenv.mkDerivation {
     homepage = "https://phpunit.de";
     changelog = "https://github.com/sebastianbergmann/phpunit/blob/${version}/ChangeLog-${lib.versions.majorMinor version}.md";
     maintainers = with maintainers; [ onny ] ++ teams.php.members;
+    platforms = platforms.all;
   };
 }