From e86e8254a8713a78415d4f4a555c9b916496f62f Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <dktapps@pmmp.io>
Date: Sat, 20 Aug 2022 16:29:26 +0100
Subject: [PATCH] Workaround PHPStan "feature" phpstan/phpstan#7701

---
 phpstan.neon.dist                             |  1 +
 .../analyse-for-current-php-version.neon.php  | 32 +++++++++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 tests/phpstan/analyse-for-current-php-version.neon.php

diff --git a/phpstan.neon.dist b/phpstan.neon.dist
index 9ebc98502..6fc15b07a 100644
--- a/phpstan.neon.dist
+++ b/phpstan.neon.dist
@@ -1,4 +1,5 @@
 includes:
+	- tests/phpstan/analyse-for-current-php-version.neon.php
 	- tests/phpstan/configs/actual-problems.neon
 	- tests/phpstan/configs/gc-hacks.neon
 	- tests/phpstan/configs/impossible-generics.neon
diff --git a/tests/phpstan/analyse-for-current-php-version.neon.php b/tests/phpstan/analyse-for-current-php-version.neon.php
new file mode 100644
index 000000000..6a7d74029
--- /dev/null
+++ b/tests/phpstan/analyse-for-current-php-version.neon.php
@@ -0,0 +1,32 @@
+<?php
+
+/*
+ *
+ *  ____            _        _   __  __ _                  __  __ ____
+ * |  _ \ ___   ___| | _____| |_|  \/  (_)_ __   ___      |  \/  |  _ \
+ * | |_) / _ \ / __| |/ / _ \ __| |\/| | | '_ \ / _ \_____| |\/| | |_) |
+ * |  __/ (_) | (__|   <  __/ |_| |  | | | | | |  __/_____| |  | |  __/
+ * |_|   \___/ \___|_|\_\___|\__|_|  |_|_|_| |_|\___|     |_|  |_|_|
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * @author PocketMine Team
+ * @link http://www.pocketmine.net/
+ *
+ *
+ */
+
+declare(strict_types=1);
+
+/*
+ * This hack works around a "feature" in PHPStan which locks in analysis version based on platform.php in composer.json
+ * See https://github.com/phpstan/phpstan/issues/7701 for details
+ */
+return [
+	'parameters' => [
+		'phpVersion' => PHP_VERSION_ID
+	]
+];