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