Make Psalm about stub file for random (core) extension

2025-01-22 05:41:20 +01:00 · 2022-12-11 14:45:20 +01:00 · 2022-12-11 14:45:20 +01:00 · 5e95d13157
commit 5e95d13157
parent 74f65cba71
1 changed files with 1 additions and 0 deletions
--- 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,