More precise getdate() return type

resources/functionMap.php

@@ -3323,7 +3323,7 @@
 'get_resources' => ['array<int, resource>', 'type='=>'string'],
 'getallheaders' => ['array'],
 'getcwd' => ['string|false'],
-'getdate' => ['array', 'timestamp='=>'int'],
+'getdate' => ['array{seconds: int<0, 59>, minutes: int<0, 59>, hours: int<0, 23>, mday: int<1, 31>, wday: int<0, 6>, mon: int<1, 12>, year: int, yday: int<0, 365>, weekday: "Monday"|"Tuesday"|"Wednesday"|"Thursday"|"Friday"|"Saturday"|"Sunday", month: "January"|"February"|"March"|"April"|"May"|"June"|"July"|"August"|"September"|"October"|"November"|"December", 0: int}', 'timestamp='=>'int'],
 'getenv' => ['string|false', 'varname'=>'string', 'local_only='=>'bool'],
 'getenv\'1' => ['string[]'],
 'gethostbyaddr' => ['string|false', 'ip_address'=>'string'],