ignore PHPStan error in deprecated code

diff --git a/src/Core/Config/Util/ConfigFileManager.php b/src/Core/Config/Util/ConfigFileManager.php
index d76e3e53cdf2f6509556838f72b2c7f6876ece26..96c416e4de76854f766c5635f890dae276e74d88 100644 (file)
--- a/src/Core/Config/Util/ConfigFileManager.php
+++ b/src/Core/Config/Util/ConfigFileManager.php
@@ -257,6 +257,7 @@ class ConfigFileManager
 
                // map the legacy configuration structure to the current structure
                foreach ($htConfigCategories as $htConfigCategory) {
+                       /** @phpstan-ignore-next-line $a->config could be modified after `include $fullName` */
                        if (is_array($a->config[$htConfigCategory])) {
                                $keys = array_keys($a->config[$htConfigCategory]);