Index: locale/de/filter.json |
diff --git a/locale/de/filter.json b/locale/de/filter.json |
new file mode 100644 |
index 0000000000000000000000000000000000000000..766100b334e2e4d18322dd273e42685d0e1dbe88 |
--- /dev/null |
+++ b/locale/de/filter.json |
@@ -0,0 +1,17 @@ |
+{ |
+ "filter_elemhide_duplicate_id": { |
+ "message": "Nur ein ID-Wert des zu versteckenden Elements kann angegeben werden" |
+ }, |
+ "filter_elemhide_nocriteria": { |
+ "message": "Keine Kriterien angegeben, um das zu versteckende Element zu erkennen" |
+ }, |
+ "filter_invalid_regexp": { |
+ "message": "Ungültiger regulärer Ausdruck" |
+ }, |
+ "filter_regexp_tooltip": { |
+ "message": "Dieser Filter ist entweder ein regulärer Ausdruck oder zu kurz zum Optimieren. Zu viele solche Filter könnten Ihren Browser verlangsamen." |
+ }, |
+ "filter_unknown_option": { |
+ "message": "Unbekannte Filteroption" |
+ } |
+} |