+ global $path_to_root;
+
+ // retrieve set system wide preferences
+ include $path_to_root.'/config.default.php';
+ if (file_exists($path_to_root.'/config.php'))
+ include $path_to_root.'/config.php';
+
+ foreach(get_defined_vars() as $name => $value)
+ $this->$name = $value;
+
+ if (!@$this->time_zone)
+ $this->time_zone = ini_get('date.timezone');
+
+ if (!$this->time_zone)
+ $this->time_zone = 'Europe/Berlin';
+
+ if (!isset($this->use_popup_search))
+ $this->use_popup_search = false;
+
+ ini_set('date.timezone', $this->time_zone);