Mark the bug-11507 fixture as requiring PHP 8.0

It uses constructor property promotion, and RequiredPhpVersionCommentTest
requires such fixtures to carry the lint comment.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013qRnM7saDyd5yKXxJAnR7o

Author: ondrejmirtes

tests/PHPStan/Rules/Functions/data/bug-11507.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug11507;