From 5e95d13157e0776b8747dc7769bcaa45e53ec712 Mon Sep 17 00:00:00 2001
From: Alies Lapatsin <web.lapateen@gmail.com>
Date: Sun, 11 Dec 2022 14:45:20 +0100
Subject: [PATCH] Make Psalm about stub file for random (core) extension

---
 src/Psalm/Config.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php
index 206d486e5..cc8ac663a 100644
--- a/src/Psalm/Config.php
+++ b/src/Psalm/Config.php
@@ -622,6 +622,7 @@ class Config
         "mongodb" => false,
         "mysqli" => false,
         "pdo" => false,
+        "random" => false,
         "redis" => false,
         "simplexml" => false,
         "soap" => false,