From 2f2355029998e4e8d50337f7504a83bc89826762 Mon Sep 17 00:00:00 2001
From: Denis Smetannikov <smet.denis@gmail.com>
Date: Mon, 8 Nov 2021 15:32:19 +0200
Subject: [PATCH] Fixes

---
 .phan.php | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.phan.php b/.phan.php
index 7e3bf31..99f5e3c 100644
--- a/.phan.php
+++ b/.phan.php
@@ -17,7 +17,7 @@
 
 $default = include __DIR__ . '/vendor/jbzoo/codestyle/src/phan/default.php';
 
-return array_merge($default, [
+$phanConfig = array_merge($default, [
     'directory_list' => [
         'src',
 
@@ -30,3 +30,9 @@
         'vendor/wikimedia/less.php/lib/Less/Parser.php',
     ]
 ]);
+
+$phanConfig['plugins'] = array_filter($phanConfig['plugins'], function ($plugin) {
+    return $plugin !== 'UnusedSuppressionPlugin';
+});
+
+return $phanConfig;