From 288cb3e52468b49b867b6da30b558238f8d0573d Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Fri, 13 Dec 2019 18:47:36 +0000 Subject: [PATCH] Exclude phpmd on PHP 7.4 --- resources/tools.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/resources/tools.json b/resources/tools.json index 97262b53..6db7ffb2 100644 --- a/resources/tools.json +++ b/resources/tools.json @@ -438,7 +438,8 @@ "bin": "%target-dir%/phpmd" } }, - "test": "phpmd --version" + "test": "phpmd --version", + "tags": ["exclude-php:7.4"] }, { "name": "phpmetrics",