Update stubs

Author: phpstan-bot

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
 {
 }

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
 {
 }

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
+{
 }

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
+{
 }