I run MediaWiki 1.16.0, and I wanted to predefine a timezone for my
users with the $wgDefaultUserOptions directive. For other options,
this works fine, but for the time correction, it seems to be simply
ignored. I tried using hours, minutes, as well as locations
("Europe/Berlin"), to no avail.