| 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" |
| + } |
| +} |