= 52 /** * @tentative-return-type * @alias intltz_get_windows_id */ public static function getWindowsID(string $timezoneId): string|false {} /** * @tentative-return-type * @alias intltz_get_id_for_windows_id */ public static function getIDForWindowsID(string $timezoneId, ?string $region = null): string|false {} #endif /** * @tentative-return-type * @alias intltz_has_same_rules */ public function hasSameRules(IntlTimeZone $other): bool {} /** * @tentative-return-type * @alias intltz_to_date_time_zone */ public function toDateTimeZone(): DateTimeZone|false {} /** * @tentative-return-type * @alias intltz_use_daylight_time */ public function useDaylightTime(): bool {} }