var $prefs;
var $db_ok; // check whether database has been upgraded after src update.
- function sys_prefs()
+ function __construct()
{
global $path_to_root;
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);
}