* htdocs/admin/pref_Mantis.php: add Mantis home URL as preference
* htdocs/admin/save_mantis.php: idem