Personally I didn't initially interpret what they said as a mugging character, rather that they simply do not care if they are PKed essentially.
Players should have not broken RP and spoke in OOC terms though. Instead of a PK, they should have been punished appropriately for breaking RP and saying OOC terms ICly.
Though I checked logs and I cannot confidently say this character was a mugging character.