From 34cdb09ea92bc3df4e8fdc29d17688968e47bc52 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Tue, 16 Feb 2021 14:58:33 -0500
Subject: [PATCH] Make PHPStan errors CI failures

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9047611c..7212327b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -41,7 +41,7 @@ pipeline {
 				recordIssues(
 					failOnError: false,
 					tools: [phpStan(reportEncoding: 'UTF-8', pattern: 'build/logs/phpstan.log')]
-				))
+				)
 			}
 		}
 		stage('Coverage') {