Currently, only time zone settings in php.ini can be used, which is very bad, and you should be able to set the global time zone at config.php, as well as each user setting the time zone separately.