osTicket uses Redactor.
That being said, osTicket is open source so you can always change what editor is being used if you want and know how to. Other people have posted about that here on the forums previous for older versions, and searching for those threads may point you in the right direction.