* htdocs/admin/pref_Mantis.php: wider input form because URL won't fit