Use the server's default time zone in the `config/defaults.php` file (see #6449)