Add support to remove user devices (#57)

Change-Id: I19176daa656b9280ccd00f1ca0095e72870ca21e
2020-07-29 17:49:30 +02:00
parent 78e7c5f391
commit 314906657f
5 changed files with 118 additions and 8 deletions
@@ -114,6 +114,14 @@ export default {
    },
    devices: {
      name: "Gerät |||| Geräte",
+      action: {
+        erase: {
+          title: "Entferne %{id}",
+          content: 'Möchten Sie das Gerät "%{name}" wirklich entfernen?',
+          success: "Gerät erfolgreich entfernt.",
+          failure: "Beim Entfernen ist ein Fehler aufgetreten.",
+        },
+      },
    },
    servernotices: {
      name: "Serverbenachrichtigungen",