From 25e2c42830a56f5a4586cb942d17d3aabc2a7570 Mon Sep 17 00:00:00 2001
From: Varun Patil <radialapps@gmail.com>
Date: Mon, 23 Oct 2023 18:39:43 -0700
Subject: [PATCH] psalm: set target PHP version to 8.0

Signed-off-by: Varun Patil <radialapps@gmail.com>
---
 psalm-ls.xml | 1 +
 psalm.xml    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/psalm-ls.xml b/psalm-ls.xml
index f4ccb982..1b330e01 100644
--- a/psalm-ls.xml
+++ b/psalm-ls.xml
@@ -9,6 +9,7 @@
     cacheDirectory=".cache/psalm-ls"
     findUnusedBaselineEntry="true"
     findUnusedCode="false"
+    phpVersion="8.0"
 >
     <!--
         Duplication is due to differences in language server and CLI
diff --git a/psalm.xml b/psalm.xml
index f18a981f..b254ab04 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -9,6 +9,7 @@
     cacheDirectory=".cache/psalm"
     findUnusedBaselineEntry="true"
     findUnusedCode="false"
+    phpVersion="8.0"
 >
     <!-- The language server works slightly differently and has a different file -->
     <projectFiles>