Added

• Discord webhook. Every ban, mute, kick, unban and unmute can be posted to a Discord channel as an embed with the target, the staff member, the reason and, for IDs, the level. Set discord-webhook.enabled and url in config.yml; actions limits it to e.g. [BAN, MUTE]. Sending happens off the server thread, a dead webhook only costs a console line.
• German messages. messages_german.yml ships with the plugin, language: german uses it.

Changed

• First stable release since 1.1. Servers on the default release update channel now get the 1.2 fixes as well.

Existing servers: the new discord-webhook section is not added to an existing config.yml automatically. Copy it from the default config if you want it.