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:35 10 feb 2021
28 bytes eliminados
,
hace 3 años
sin resumen de edición
var findWord = params[paramresalte];
var findWordArr = findWord.split("+");
console.log(findWordArr);
findWordArr.forEach(a => {
InstantSearch.highlight(container, a);
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones