jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 3 forks source link

Show "last updated" time in the local timezone #34

Open grunweg opened 1 month ago

grunweg commented 1 month ago

As referenced here.

Apparently, this can be done using javascript, using Date.getTimeZoneOffset() to query the user's local timezone: converting the UTC date to the user's timezone should not be hard. Trying to format the date in the user's locale is very much not recommended: sticking to the strict current formatting seems possible, though, and shouldn't be too hard to implement in javascript. See this for some inspiration; this answer has a quick-and-dirty implementation.

Bonus points for degrading nicely when the user has javascript disabled. :-)