[TxMt] Re: coloring different for PHP string and HTML string