<div dir="ltr"><div><div>> should we pick a bunch of numerical identifiers for all zones...<br><br></div>We could use (a variant of) the latitude/longitude coordinates in zone.tab, although we might then get complaints about using the "wrong" coordinates.<br>
<br></div> @dashdashado<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 4, 2013 at 2:06 PM, Guy Harris <span dir="ltr"><<a href="mailto:guy@alum.mit.edu" target="_blank">guy@alum.mit.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Mar 4, 2013, at 9:45 AM, Shawn Steele <<a href="mailto:Shawn.Steele@microsoft.com">Shawn.Steele@microsoft.com</a>> wrote:<br>
<br>
> In case anyone’s interested, there’s a discussion on <a href="mailto:es-discuss@mozilla.org">es-discuss@mozilla.org</a> (the ecmascript discussion list) about time zone identifiers in Javascript.<br>
<br>
</div>In case anyone's interested, here's the page at <a href="http://mozilla.org" target="_blank">mozilla.org</a> for that mailing list:<br>
<br>
<a href="https://mail.mozilla.org/listinfo/es-discuss" target="_blank">https://mail.mozilla.org/listinfo/es-discuss</a><br>
<br>
>From looking at the "Internationalization: Support for IANA time zones" thread in the March 2013 archives, one issue they have is that time zone IDs can disappear. Asia/Calcutta -> Asia/Kolkata appears to be one example.<br>
<br>
Another issue mentioned at least in passing is the old "surprising choice of city name" issue.<br>
<br>
As per an earlier suggestion I may have made, should we pick a bunch of numerical identifiers for all zones, make *those* the official zone IDs, leave the old names behind as aliases, and thus avoid having to worry about<br>
<br>
1) people complaining we picked the "wrong" city for the zone name;<br>
<br>
2) the "right" city changing due to population changes;<br>
<br>
3) a city's name or name spelling changing;<br>
<br>
etc..<br>
<br>
This is at most a half-humorous suggestion.<br>
<br>
Alphanumeric might be an alternative, as long as we don't end up using the letters for something that sounds like a city name.<br>
</blockquote></div><br></div>