Update stubs

phpstan · Jan 25, 2023 · 6d7d370 · 6d7d370
1 parent 2607815
commit 6d7d370
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 2 deletions.
diff --git a/stubs/ext/random/mt_srand.php b/stubs/ext/random/mt_srand.php
@@ -1,6 +1,6 @@
 <?php 
 
 #[\Since('8.2')]
-function mt_srand(int $seed = 0, int $mode = MT_RAND_MT19937) : void
+function mt_srand(int $seed = UNKNOWN, int $mode = MT_RAND_MT19937) : void
 {
 }
diff --git a/stubs/ext/random/srand.php b/stubs/ext/random/srand.php
@@ -2,6 +2,6 @@
 
 /** @alias mt_srand */
 #[\Since('8.2')]
-function srand(int $seed = 0, int $mode = MT_RAND_MT19937) : void
+function srand(int $seed = UNKNOWN, int $mode = MT_RAND_MT19937) : void
 {
 }
diff --git a/stubs/ext/standard/mt_srand.php b/stubs/ext/standard/mt_srand.php
@@ -1,6 +1,12 @@
 <?php 
 
 /* mt_rand.c */
+#[\Until('8.1')]
 function mt_srand(int $seed = 0, int $mode = MT_RAND_MT19937) : void
 {
+}
+/* mt_rand.c */
+#[\Since('8.1')]
+function mt_srand(int $seed = UNKNOWN, int $mode = MT_RAND_MT19937) : void
+{
 }
diff --git a/stubs/ext/standard/srand.php b/stubs/ext/standard/srand.php
@@ -1,6 +1,12 @@
 <?php 
 
 /** @alias mt_srand */
+#[\Until('8.1')]
 function srand(int $seed = 0, int $mode = MT_RAND_MT19937) : void
 {
+}
+/** @alias mt_srand */
+#[\Since('8.1')]
+function srand(int $seed = UNKNOWN, int $mode = MT_RAND_MT19937) : void
+{
 }