previous/3546577-tweak-phpstan-settings/2025-09-15

Branch force pushed by twiesing at 2025-09-15T13:46:12+00:00, 3546577-tweak-phpstan-settings moved from this tag to 63705d7c14c5c5990bbc6eff72a6f06e5863846a