Mantis plugin adding a new block in tickets view. This plugin allows to push a ticket to Redmine or to see the issue details if it already exists in Redmine.