Fixes

JBZoo · Nov 8, 2021 · 2f23550 · 2f23550
1 parent c733a20
commit 2f23550
Showing 1 changed file with 7 additions and 1 deletion.
diff --git 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;