[TxMt] colorization of html and php