From b238bc7dc9ebe52c7d1f2a21cbeeaaf7abe1728e Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil@daniil.it>
Date: Thu, 15 Feb 2024 11:51:41 +0100
Subject: [PATCH] Improve randomizer stubs

---
 stubs/extensions/random.phpstub | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/stubs/extensions/random.phpstub b/stubs/extensions/random.phpstub
index 01cc8fb8028..27135afc376 100644
--- a/stubs/extensions/random.phpstub
+++ b/stubs/extensions/random.phpstub
@@ -87,10 +87,20 @@ namespace Random
          */
         public function getBytes(int $length): string {}
 
+        /**
+         * @template TValue
+         * @param array<TValue> $array
+         * @return list<TValue>
+         */
         public function shuffleArray(array $array): array {}
 
         public function shuffleBytes(string $bytes): string {}
 
+        /**
+         * @template TKey as array-key
+         * @param array<TKey, mixed> $array
+         * @return list<TKey>
+         */
         public function pickArrayKeys(array $array, int $num): array {}
 
         public function __serialize(): array {}