Installer to optionally put timezone in config.inc.php