Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Time zone #39

Open
timboehde opened this issue Nov 15, 2023 · 1 comment
Open

Time zone #39

timboehde opened this issue Nov 15, 2023 · 1 comment

Comments

@timboehde
Copy link

timboehde commented Nov 15, 2023

According to https://www.mediawiki.org/wiki/Manual:$wgLocalTZoffset, you have to add this:

$wgLocaltimezone = '<whatever we have it set to>';
// Set to timezone offset in minutes as calculated by PHP
$wgLocalTZoffset = date('Z') / 60;

otherwise {{CURRENTTIME}} and other magic words default to UTC. This formatting accounts for DST.

This is lowest priority.

@1ec5
Copy link
Member

1ec5 commented Apr 1, 2024

Now that the wiki has more international coverage, would there still be a preference for a particular time zone other than UTC? The timestamps in the interface are configurable by user preference, and there are gadgets for dynamically adapting talk page signatures to the local time too, so the main impact is when things like the Main Page cut over to the new day’s featured content.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Todo
Development

No branches or pull requests

2 participants