Merge pull request #7859 from dkemper/add-datetime-getTimestamp-mappings

Resolve #7855 remove false from return type, in php8.0 and further ve…
vimeo · Apr 13, 2022 · 3b8449a · 3b8449a
2 parents 0d10280 + 2ee7ba3
commit 3b8449a
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 3 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -1783,7 +1783,7 @@
 'DateTime::format' => ['string', 'format'=>'string'],
 'DateTime::getLastErrors' => ['array{warning_count:int,warnings:array<int,string>,error_count:int,errors:array<int,string>}'],
 'DateTime::getOffset' => ['int'],
-'DateTime::getTimestamp' => ['int|false'],
+'DateTime::getTimestamp' => ['int'],
 'DateTime::getTimezone' => ['DateTimeZone|false'],
 'DateTime::modify' => ['static|false', 'modify'=>'string'],
 'DateTime::setDate' => ['static', 'year'=>'int', 'month'=>'int', 'day'=>'int'],
@@ -1804,7 +1804,7 @@
 'DateTimeImmutable::format' => ['string', 'format'=>'string'],
 'DateTimeImmutable::getLastErrors' => ['array{warning_count:int,warnings:array<int,string>,error_count:int,errors:array<int,string>}'],
 'DateTimeImmutable::getOffset' => ['int'],
-'DateTimeImmutable::getTimestamp' => ['int|false'],
+'DateTimeImmutable::getTimestamp' => ['int'],
 'DateTimeImmutable::getTimezone' => ['DateTimeZone|false'],
 'DateTimeImmutable::modify' => ['static', 'modify'=>'string'],
 'DateTimeImmutable::setDate' => ['static|false', 'year'=>'int', 'month'=>'int', 'day'=>'int'],
@@ -1816,7 +1816,7 @@
 'DateTimeInterface::diff' => ['DateInterval', 'datetime2'=>'DateTimeInterface', 'absolute='=>'bool'],
 'DateTimeInterface::format' => ['string', 'format'=>'string'],
 'DateTimeInterface::getOffset' => ['int'],
-'DateTimeInterface::getTimestamp' => ['int|false'],
+'DateTimeInterface::getTimestamp' => ['int'],
 'DateTimeInterface::getTimezone' => ['DateTimeZone|false'],
 'DateTimeZone::__construct' => ['void', 'timezone'=>'string'],
 'DateTimeZone::__set_state' => ['DateTimeZone', 'array'=>'array'],

diff --git a/dictionaries/CallMap_80_delta.php b/dictionaries/CallMap_80_delta.php
@@ -41,10 +41,22 @@
       'old' => ['string|false', 'format'=>'string'],
       'new' => ['string', 'format'=>'string'],
     ],
+    'DateTime::getTimestamp' => [
+      'old' => ['int|false'],
+      'new' => ['int'],
+    ],
+    'DateTimeInterface::getTimestamp' => [
+       'old' => ['int|false'],
+       'new' => ['int'],
+    ],
     'DateTimeImmutable::format' => [
       'old' => ['string|false', 'format'=>'string'],
       'new' => ['string', 'format'=>'string'],
     ],
+    'DateTimeImmutable::getTimestamp' => [
+        'old' => ['int|false'],
+        'new' => ['int'],
+    ],
     'DateTimeZone::listIdentifiers' => [
       'old' => ['list<string>|false', 'timezoneGroup='=>'int', 'countryCode='=>'string|null'],
       'new' => ['list<string>', 'timezoneGroup='=>'int', 'countryCode='=>'string|null'],