From fe503cad77b684f845a932644007c50684161b8d Mon Sep 17 00:00:00 2001
From: Ondrej Mirtes <ondrej@mirtes.cz>
Date: Mon, 29 Jul 2024 09:08:13 +0200
Subject: [PATCH] Downgrade PHP files in build/PHPStan

---
 build/downgrade.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/downgrade.php b/build/downgrade.php
index a440588e85..7c117d13f5 100644
--- a/build/downgrade.php
+++ b/build/downgrade.php
@@ -2,6 +2,7 @@
 
 return [
 	'paths' => [
+		__DIR__ . '/../build/PHPStan',
 		__DIR__ . '/../src',
 		__DIR__ . '/../tests/PHPStan',
 		__DIR__ . '/../tests/e2e',