From 87facdb05b4178cbdc30f1da8f88afa2d529c862 Mon Sep 17 00:00:00 2001
From: Jakub Zalas <jakub@zalas.pl>
Date: Mon, 18 Nov 2019 15:09:49 +0000
Subject: [PATCH 1/3] Add PHP 7.4 to the build matrix

---
 .travis.yml | 1 +
 Makefile    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 8f546b9e..7d9f21cb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +6,7 @@ matrix:
     env: EXECUTE_DEPLOYMENT=true
   - php: 7.3
     env: deps=low UPDATE_TOOLS=true
+  - php: 7.4
   fast_finish: true
 cache:
   directories:
diff --git a/Makefile b/Makefile
index 98ffa661..ebb2688b 100644
--- a/Makefile
+++ b/Makefile
@@ -149,4 +149,4 @@ tools/infection.pubkey:
 	curl -Ls https://github.com/infection/infection/releases/download/0.13.2/infection.phar.pubkey -o tools/infection.pubkey
 
 tools/box:
-	curl -Ls https://github.com/humbug/box/releases/download/3.8.3/box.phar -o tools/box && chmod +x tools/box
+	curl -Ls https://github.com/humbug/box/releases/download/3.8.4/box.phar -o tools/box && chmod +x tools/box

From a1fcb7083536dc9c26007fef36d4e7de2978fc58 Mon Sep 17 00:00:00 2001
From: Jakub Zalas <jakub@zalas.pl>
Date: Fri, 13 Dec 2019 18:37:57 +0000
Subject: [PATCH 2/3] Exclude pdepend on PHP 7.4

---
 resources/tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/tools.json b/resources/tools.json
index 255e0417..97262b53 100644
--- a/resources/tools.json
+++ b/resources/tools.json
@@ -167,7 +167,7 @@
         }
       },
       "test": "pdepend --version",
-      "tags": ["featured"]
+      "tags": ["featured", "exclude-php:7.4"]
     },
     {
       "name": "phan",

From 288cb3e52468b49b867b6da30b558238f8d0573d Mon Sep 17 00:00:00 2001
From: Jakub Zalas <jakub@zalas.pl>
Date: Fri, 13 Dec 2019 18:47:36 +0000
Subject: [PATCH 3/3] 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",