[TxMt] PHP double click selection and the dollar sign ($)