Abrir menú principal
Diccionario Interactivo Ceán Bermúdez
Buscar
Cambios
← Edición anterior
Edición siguiente →
MediaWiki:Filtros.js
(ver código)
Revisión del 14:14 10 feb 2021
41 bytes añadidos
,
hace 3 años
sin resumen de edición
var findWordArr = findWord.split("+");
console.log(findWordArr);
findWordArr.forEach(a => {
InstantSearch.highlight(container,
params["find"]
a);
}
);
}
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones