2016年2月21日とりあえず、現在の状況に近づけるために必要だったプラグインの「highlightcode」を入れます。MantisはHTMLタグを直接書く形だったりするのでソースコードを張り付けたりすると表示できなくなったりとか。インストールはこのページが詳しく書かれていました。highlightcodeプラグインのインストールと設定方法Mantisのプラグイン一覧こちらもとても役に立ちます。下記のプラグインを参考にして後で改造した「画像貼り付け機能」をプラグイン化してみたいと思っています。