Declare ext/random constants in stubs

ext/random/random.c

@@ -854,8 +854,7 @@ PHP_MINIT_FUNCTION(random)
 	random_randomizer_object_handlers.free_obj = randomizer_free_obj;
 	random_randomizer_object_handlers.clone_obj = NULL;
 
-	REGISTER_LONG_CONSTANT("MT_RAND_MT19937", MT_RAND_MT19937, CONST_CS | CONST_PERSISTENT);
-	REGISTER_LONG_CONSTANT("MT_RAND_PHP",     MT_RAND_PHP, CONST_CS | CONST_PERSISTENT);
+	register_random_symbols(module_number);
 
 	return SUCCESS;
 }

ext/random/random.stub.php

@@ -3,6 +3,17 @@
 /** @generate-class-entries */
 
 namespace {
+    /**
+     * @var int
+     * @cvalue MT_RAND_MT19937
+     */
+    const MT_RAND_MT19937 = UNKNOWN;
+    /**
+     * @var int
+     * @cvalue MT_RAND_PHP
+     */
+    const MT_RAND_PHP = UNKNOWN;
+
     function lcg_value(): float {}
 
     function mt_srand(int $seed = 0, int $mode = MT_RAND_MT19937): void {}
@@ -54,7 +65,7 @@ public function __construct(string|int|null $seed = null, string|int $sequence =
         public function generate(): string {}
 
         public function jump(int $advance): void {}
-        
+
         /** @implementation-alias Random\Engine\Mt19937::__serialize */
         public function __serialize(): array {}
 
@@ -74,17 +85,17 @@ public function __construct(string|int|null $seed = null) {}
 
         /** @implementation-alias Random\Engine\Mt19937::generate */
         public function generate(): string {}
-        
+
         public function jump(): void {}
-        
+
         public function jumpLong(): void {}
-        
+
         /** @implementation-alias Random\Engine\Mt19937::__serialize */
         public function __serialize(): array {}
-        
+
         /** @implementation-alias Random\Engine\Mt19937::__unserialize */
         public function __unserialize(array $data): void {}
-        
+
         /** @implementation-alias Random\Engine\Mt19937::__debugInfo */
         public function __debugInfo(): array {}
     }