Index: locale/es-ES/filter.json |
diff --git a/locale/es-ES/filter.json b/locale/es-ES/filter.json |
new file mode 100644 |
index 0000000000000000000000000000000000000000..89732d2789209ed64880b309c37f64ba91d59442 |
--- /dev/null |
+++ b/locale/es-ES/filter.json |
@@ -0,0 +1,17 @@ |
+{ |
+ "filter_elemhide_duplicate_id": { |
+ "message": "Sólo puede especificarse una ID del elemento a ocultar" |
+ }, |
+ "filter_elemhide_nocriteria": { |
+ "message": "No se especificó ningún criterio para identificar el elemento a ocultar" |
+ }, |
+ "filter_invalid_regexp": { |
+ "message": "Expresión regular inválida" |
+ }, |
+ "filter_regexp_tooltip": { |
+ "message": "Este filtro es una expresión regular o demasiado corto para ser optimizado. Demasiados filtros de este tipo podrían hacer más lenta su navegación." |
+ }, |
+ "filter_unknown_option": { |
+ "message": "Opción de filtrado desconocida" |
+ } |
+} |