From d051f2b5ecbce1d7a4e28620183e1fe339e6f523 Mon Sep 17 00:00:00 2001
From: zerai <teclaizerai@gmail.com>
Date: Thu, 28 Dec 2023 18:00:18 +0100
Subject: [PATCH] Tools: update phpstan composer.json.

---
 tools/phpstan/composer.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/phpstan/composer.json b/tools/phpstan/composer.json
index 87f1943..1dfe1b2 100644
--- a/tools/phpstan/composer.json
+++ b/tools/phpstan/composer.json
@@ -8,6 +8,9 @@
         "preferred-install": {
             "*": "dist"
         },
-        "sort-packages": true
+        "sort-packages": true,
+        "allow-plugins": {
+            "phpstan/extension-installer": true
+        }
     }
 }