I am using a Windows server with XAMPP to host MediaWiki 1.23.2. The Windows machine is set to "Europe/Berlin" timezone (UTC+2 currently due to DST).
When I go at 15:12 (local time, DST) to the preferences of a user I get shown the following:
Server time: 13:12
Local time: 13:12
Time zone: Other (specifiy offset)
(empty field for offset)
This is in both cases the UTC time.
I tried to set the wgLocaltimezone, but it seems to already be set correctly!?
If I add (to e.g. LocalSettings.php):
print(", $wgLocalTZoffset: ");
then I see "Europe/Berlin" as wgLocaltimezone, and wgLocalTZoffset is already set to 120.
I would like to (simply?) change the setup so every user has by default the Europe/Berlin timezone.