modified how the time zone is set

If the system parameter is set, the time zone is used. If no time
zone is set in the system parameter, we then check php.ini. If a
timezone is set there, that time zone is used. If no time zones are
set, the default time zone becomes UTC.