From 203c5945f56ed908239f1369a93251347fde2a55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Viktor=20Sz=C3=A9pe?= <viktor@szepe.net>
Date: Sun, 18 May 2025 12:24:43 +0200
Subject: [PATCH] Add PHPStan ignore

---
 phpstan-ignore.php | 9 +++++++++
 phpstan.neon       | 2 ++
 2 files changed, 11 insertions(+)
 create mode 100644 phpstan-ignore.php

diff --git a/phpstan-ignore.php b/phpstan-ignore.php
new file mode 100644
index 0000000..503c5a0
--- /dev/null
+++ b/phpstan-ignore.php
@@ -0,0 +1,9 @@
+<?php
+
+$config = [];
+
+if (PHP_VERSION_ID >= 80400) {
+	$config['parameters']['ignoreErrors'] = [['identifier' => 'parameter.implicitlyNullable']];
+}
+
+return $config;
diff --git a/phpstan.neon b/phpstan.neon
index 077ee5a..a525845 100644
--- a/phpstan.neon
+++ b/phpstan.neon
@@ -1,3 +1,5 @@
+includes:
+	- phpstan-ignore.php
 parameters:
 	level: 5
 	paths: