From 8488ac19cd4101838b77c5b9f4815665fe107006 Mon Sep 17 00:00:00 2001 From: Daniil Gentili Date: Sat, 30 Nov 2024 19:43:47 +0100 Subject: [PATCH] Fixes --- dictionaries/CallMap.php | 14 +++++++------- dictionaries/CallMap_80_delta.php | 10 +++++----- dictionaries/CallMap_historical.php | 14 +++++++------- 3 files changed, 19 insertions(+), 19 deletions(-) diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php index a630d46218b..26c9d9cb7d8 100644 --- 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 index 17a2267968c..b16b6814936 100644 --- 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 index bfdc1c03b15..c532545be81 100644 --- 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 (