Making a Member un-pingable (Verified Server Exclusively)

I wish discord has a feature in which verified servers can have a choice to not be able to ping a specific member in the server. This will be very good because people like to ping devs (people busy making games and etc.) and they wouldn't like it