diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php index d1904000d14..2448f9c2d44 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' => '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 index 17a2267968c..730cd391f9f 100644 --- 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 index 770f63267b6..c86c5fd5c1a 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 ( @@ -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 (