From 3bfe2e67c49ba523e87a5a6d7cf8860d8cc2a4a0 Mon Sep 17 00:00:00 2001
From: Ondrej Mirtes <ondrej@mirtes.cz>
Date: Fri, 23 Sep 2022 11:13:46 +0200
Subject: [PATCH] Fix build

---
 .../Rules/Properties/data/php-82-dynamic-properties-allow.php   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/PHPStan/Rules/Properties/data/php-82-dynamic-properties-allow.php b/tests/PHPStan/Rules/Properties/data/php-82-dynamic-properties-allow.php
index 9559322bd8..d799d5f738 100644
--- a/tests/PHPStan/Rules/Properties/data/php-82-dynamic-properties-allow.php
+++ b/tests/PHPStan/Rules/Properties/data/php-82-dynamic-properties-allow.php
@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 7.4
 
 namespace Php82DynamicPropertiesAllow;