From 294bf2f52d63debd1d6dab525e793abd76b689ac Mon Sep 17 00:00:00 2001
From: Oleg Kasyanov <oleg@batumi.org>
Date: Thu, 23 Nov 2023 03:22:57 +0400
Subject: [PATCH] Updated Psalm configuration

---
 psalm.xml.dist | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/psalm.xml.dist b/psalm.xml.dist
index ee306cb..85e6aef 100644
--- a/psalm.xml.dist
+++ b/psalm.xml.dist
@@ -7,6 +7,7 @@
         findUnusedPsalmSuppress="true"
         findUnusedVariablesAndParams="true"
         findUnusedCode="true"
+        cacheDirectory=".cache"
 >
     <projectFiles>
         <directory name="src"/>
@@ -27,4 +28,8 @@
             </errorLevel>
         </PossiblyUnusedMethod>
     </issueHandlers>
+
+    <enableExtensions>
+        <extension name="random"/>
+    </enableExtensions>
 </psalm>