Register a default value for the timecorrection preference
authorBrian Wolff <bawolff+wn@gmail.com>
Fri, 5 Aug 2016 08:17:48 +0000 (08:17 +0000)
committerBrian Wolff <bawolff+wn@gmail.com>
Fri, 5 Aug 2016 08:17:48 +0000 (08:17 +0000)
commitad631f135d460fb8a5c301f5959257041e6252d2
tree9b7b614fde70fcb1a5c84ff882bc41bf0087af49
parent37eb21112f63eaa9e94ed5df90f8a7a1adaa0eb7
Register a default value for the timecorrection preference

Previously it had no default value, which means that certain
things did not consider it a real option (e.g. userOptions.php).
Additionally, this was causing preferences to get confused into
thinking that users who did not set a timezone have really selected
offset 00:00, so saving the page could change the user's timezone
to UTC even if they did not touch the setting.

Change-Id: I875c5ab6472324f9bdfdaa784441fbc381087707
includes/Setup.php