Fixes

vimeo · Nov 30, 2024 · 79e3f93 · 79e3f93
1 parent 40e7881
commit 79e3f93
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 22 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' => 'int',
+    'hour' => 'int',
+    'minute' => 'int',
+    'second=' => 'int',
+    'microsecond=' => 'int',
   ),
   'date_timestamp_get' => 
   array (

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

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 (
@@ -49572,11 +49572,11 @@
   'date_time_set' => 
   array (
     0 => 'DateTime|false',
-    'object' => 'mixed',
-    'hour' => 'mixed',
-    'minute' => 'mixed',
-    'second=' => 'mixed',
-    'microsecond=' => 'mixed',
+    'object' => 'int',
+    'hour' => 'int',
+    'minute' => 'int',
+    'second=' => 'int',
+    'microsecond=' => 'int',
   ),
   'date_timestamp_get' => 
   array (