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