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