Since we're using a variable for the timezone for systemd-timesyncd anyways, we can also use it for PHP's config.