Rozumiem, że chodzi o to, aby serwisant mógł być przydzielany i już macie taką grupę... Jeżeli serwisantów jest bardzo dużo to łatwiej w kodzie, ale przy aktualizacjach będzie trzeba pamiętać o wprowadzonej ręcznie zmianie... a jeżeli serwisantów jest kilku-kilkunastu to dodałbym im po prostu tą grupę w ich kontaktach.
Premium/Projects/Tickets/TicketsCommon_0.php - funkcja employee_crits - zmieniamy 'developer' na array('developer','serwisant')
