I think this edit should go in `settings-tickets.inc.php` since it pertains to ticket management rather than system management