Wikimedia Bugzilla is closed!

From https://bugzilla.wikimedia.org/show_bug.cgi?id=19516#c4

{{REVISIONTIMESTAMP}} uses the server-wide timezone setting, which looks like
it's getting incorrectly set still through an old old system which only grabs
the current offset -- so at the moment we're actually using '120 minutes
offset' instead of 'Europe/Berlin' as the server default. D'oh!

[snip]

This bit in CommonSettings.php needs to be removed:


if ( !isset( $wgLocaltimezone ) ) $wgLocaltimezone = 'UTC';
# Ugly hack warning! This needs smoothing out.
if ( $wgLocaltimezone ) {
    $oldtz = getenv( 'TZ' );
    putenv( "TZ=$wgLocaltimezone" );
    $wgLocalTZoffset = date( 'Z' ) / 60;
    putenv( "TZ=$oldtz" );
}

... and alas similar code appears to be in Setup.php now. :P

Language::userAdjust's path through 'System' or tz being '' should probably be
pulled up and run through the date_create / date_timezone_set stuff if
$wgLocaltimezone is set, preferable to $wgLocalTZOffset.

Or at least they need to be sorted out in some way. :P