Index: locale/en-US/filter.json |
diff --git a/locale/en-US/filter.json b/locale/en-US/filter.json |
new file mode 100644 |
index 0000000000000000000000000000000000000000..ff709770b9c4d6408375274749c509667b608312 |
--- /dev/null |
+++ b/locale/en-US/filter.json |
@@ -0,0 +1,20 @@ |
+{ |
+ "filter_elemhide_duplicate_id": { |
+ "message": "Only one ID of the element to be hidden can be specified" |
+ }, |
+ "filter_elemhideemulation_nodomain": { |
+ "message": "No active domain specified for extended element hiding filter" |
+ }, |
+ "filter_elemhide_nocriteria": { |
+ "message": "No criteria specified to recognize the element to be hidden" |
+ }, |
+ "filter_invalid_regexp": { |
+ "message": "Invalid regular expression" |
+ }, |
+ "filter_regexp_tooltip": { |
+ "message": "This filter is either a regular expression or too short to be optimized. Too many of these filters might slow down your browsing." |
+ }, |
+ "filter_unknown_option": { |
+ "message": "Unknown filter option" |
+ } |
+} |