Fixes

vimeo · Nov 30, 2024 · 8488ac1 · 8488ac1
1 parent 87d3181
commit 8488ac1
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 19 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -2556,7 +2556,7 @@
   array (
     0 => 'void',
     'iterator' => 'Iterator',
-    'flags=' => 'mixed',
+    'flags=' => 'int',
   ),
   'CachingIterator::__toString' => 
   array (
@@ -6558,11 +6558,11 @@
   'date_time_set' => 
   array (
     0 => 'DateTime',
-    'object' => 'mixed',
-    'hour' => 'mixed',
-    'minute' => 'mixed',
-    'second=' => 'mixed',
-    'microsecond=' => 'mixed',
+    'object' => 'DateTime',
+    'hour' => 'int',
+    'minute' => 'int',
+    'second=' => 'int',
+    'microsecond=' => 'int',
   ),
   'date_timestamp_get' => 
   array (
@@ -43163,7 +43163,7 @@
   'NumberFormatter::format' => 
   array (
     0 => 'false|string',
-    'num' => 'mixed',
+    'num' => 'int|float',
     'type=' => 'int',
   ),
   'NumberFormatter::formatCurrency' => 

diff --git a/dictionaries/CallMap_80_delta.php b/dictionaries/CallMap_80_delta.php
@@ -3033,11 +3033,11 @@
       'old' => 
       array (
         0 => 'DateTime|false',
-        'object' => 'mixed',
-        'hour' => 'mixed',
-        'minute' => 'mixed',
-        'second=' => 'mixed',
-        'microsecond=' => 'mixed',
+        'object' => 'DateTime',
+        'hour' => 'int',
+        'minute' => 'int',
+        'second=' => 'int',
+        'microsecond=' => 'int',
       ),
       'new' => 
       array (

diff --git a/dictionaries/CallMap_historical.php b/dictionaries/CallMap_historical.php
@@ -1307,7 +1307,7 @@
   array (
     0 => 'void',
     'iterator' => 'Iterator',
-    'flags=' => 'mixed',
+    'flags=' => 'int',
   ),
   'CachingIterator::__toString' => 
   array (
@@ -21384,7 +21384,7 @@
   'NumberFormatter::format' => 
   array (
     0 => 'false|string',
-    'num' => 'mixed',
+    'num' => 'int|float',
     'type=' => 'int',
   ),
   'NumberFormatter::formatCurrency' => 
@@ -49572,11 +49572,11 @@
   'date_time_set' => 
   array (
     0 => 'DateTime|false',
-    'object' => 'mixed',
-    'hour' => 'mixed',
-    'minute' => 'mixed',
-    'second=' => 'mixed',
-    'microsecond=' => 'mixed',
+    'object' => 'DateTime',
+    'hour' => 'int',
+    'minute' => 'int',
+    'second=' => 'int',
+    'microsecond=' => 'int',
   ),
   'date_timestamp_get' => 
   array (