Muting User [Should add function]

I think its completely necessary that Discord adds a clien-side function that lets users mute other annoyoing users. Does this make any sense?