« Bugzilla Issues Index

#698 — Public API for ToLocalTime

Edition 1.0, section 12.3.2 describes an abstract operation ToLocalTime, which converts a given date to its corresponding weekday/era/year/month/day/hour/minute/second/inDST values, taking the provided calendar and time zone into consideration.

Exposing this function as public API would allow the many JavaScript date/time formatting libraries to support non-Gregorian calendars and time zones other than UTC and local time.