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