*/ $conf['mantis_server'] = 'https://mantis.example.com/bugtracker';