Skip to Content
Haven Documentation is the shared home for product guides, plugin setup, and release docs.
PluginsAnti-PingOverview

Anti-Ping

Anti-Ping protects selected users or roles from unwanted pings and can warn, delete, or log messages that violate the rule.

  • Source description: Protect users from being pinged using Discord AutoMod
  • Version in source: 1.0.1
  • Dependencies: core
  • Config templates read: en-anti-ping-lang.json5, en-anti-ping.json5

Main Features

  • Protected user or role ping detection
  • Ignored roles and channels
  • Configurable warning or moderation behavior
  • Optional logging
  • Permission-backed management controls

Plugin Names

ItemName
Plugin folderanti_ping
Config nameanti-ping
Language config nameanti-ping-lang
Main config fileconfiguration/anti-ping.json5
Main language fileconfiguration/anti-ping-lang.json5

Best Fit

Use it when staff, owners, or protected members should not be pinged outside approved channels or roles.