[TxMt] PHP getter/setter generator