From 6d7d370d00fcb0a4e7332b51ccc86c699181994a Mon Sep 17 00:00:00 2001
From: phpstan-bot <ondrej+phpstanbot@mirtes.cz>
Date: Wed, 25 Jan 2023 00:16:00 +0000
Subject: [PATCH] Update stubs

---
 stubs/ext/random/mt_srand.php   | 2 +-
 stubs/ext/random/srand.php      | 2 +-
 stubs/ext/standard/mt_srand.php | 6 ++++++
 stubs/ext/standard/srand.php    | 6 ++++++
 4 files changed, 14 insertions(+), 2 deletions(-)

diff --git a/stubs/ext/random/mt_srand.php b/stubs/ext/random/mt_srand.php
index 8a616e51..d2cd0dd0 100644
--- 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
 {
 }
\ No newline at end of file
diff --git a/stubs/ext/random/srand.php b/stubs/ext/random/srand.php
index ceaacb5e..6d4916f4 100644
--- 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
 {
 }
\ No newline at end of file
diff --git a/stubs/ext/standard/mt_srand.php b/stubs/ext/standard/mt_srand.php
index 89010262..24838d7b 100644
--- 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
+{
 }
\ No newline at end of file
diff --git a/stubs/ext/standard/srand.php b/stubs/ext/standard/srand.php
index bbd8ea97..b7744a46 100644
--- 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
+{
 }
\ No newline at end of file