Workaround broken PHP function timezone_name_from_abbr (#1489261)