*/ $s_plugin_Discord_ = ''; $s_plugin_Discord_title = 'Discord Integration'; $s_plugin_Discord_description = 'Fügt die Integration von Discord (https://Discord.com) zu Mantis hinzu.'; $s_plugin_Discord_config = 'Konfiguration'; $s_plugin_Discord_url_webhook = 'Default Discord Webhook URL'; $s_plugin_Discord_url_webhooks = 'Additional Discord Webhook URLs'; //$s_plugin_Discord_bot_name = 'Discord Bot Name'; //$s_plugin_Discord_bot_icon = 'Discord Bot Icon'; //$s_plugin_Discord_default_channel = 'Standard Discord Channel'; //$s_plugin_Discord_channels = 'Discord Channels'; $s_plugin_Discord_language = 'Sprache'; $s_plugin_Discord_columns = 'Discord Spalten'; $s_plugin_Discord_bug_created = '[%s] %s erstellte __%s__ (%s)'; $s_plugin_Discord_bug_updated = '[%s] %s aktualisierte __%s__ (%s)'; $s_plugin_Discord_bug_deleted = '[%s] %s löschte %s.'; $s_plugin_Discord_bugnote_created = "[%s] %s kommentierte den Eintrag __%s__"; $s_plugin_Discord_bugnote_updated = "[%s] %s bearbeitete einen Kommentar im Eintrag __%s__"; $s_plugin_Discord_bugnote_deleted = "[%s] %s löschte einen Kommentar im Eintrag __%s__"; $s_plugin_Discord_no_user = '(niemand)'; $s_plugin_Discord_unknown_field = '(Es liegt keine Information vor, wie das Feld "%s" ausgegeben werden kann.)'; $MANTIS_ERROR['plugin_Discord_ERROR_NO_CURL'] = 'Das Discord Plugin benötigt die cURL PHP Erweiterung (http://php.net/curl)'; $MANTIS_ERROR['plugin_Discord_ERROR_PHP_VERSION'] = 'Das Discord plugin benötigt PHP 5.3.0 oder höher';