| Index: locale/fr/filter.json |
| diff --git a/locale/fr/filter.json b/locale/fr/filter.json |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..30493e8979204abe2421cb957a87baa7e2ff8cbc |
| --- /dev/null |
| +++ b/locale/fr/filter.json |
| @@ -0,0 +1,17 @@ |
| +{ |
| + "filter_elemhide_duplicate_id": { |
| + "message": "Il n'est possible de spécifier qu'une ID de l'élément à masquer" |
| + }, |
| + "filter_elemhide_nocriteria": { |
| + "message": "Aucun critère spécifié pour reconnaître l'élément à masquer" |
| + }, |
| + "filter_invalid_regexp": { |
| + "message": "Expression régulière non valide" |
| + }, |
| + "filter_regexp_tooltip": { |
| + "message": "Ce filtre est soit une expression régulière, soit trop court pour être optimisé. Un excès de ce genre de filtres pourrait ralentir votre navigation." |
| + }, |
| + "filter_unknown_option": { |
| + "message": "Option de filtre inconnu" |
| + } |
| +} |