Problem/Motivation
The Javascript code originally provided in #3330445: Add JS Formatter to automatically set timezone provided literal strings for the day and month names, and then relied on a call to Drupal for translation,
Proposed resolution
Have Javascript generate the names, using the locale from the current page.
Comments
Comment #3
mandclu commented