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:13 10 feb 2021
103 bytes añadidos
,
hace 3 años
sin resumen de edición
if(params["find"]){
var container = document.getElementById("mw-content-text");
var findWord = params["find"];
var findWordArr = findWord.split("+");
console.log(findWordArr);
InstantSearch.highlight(container, params["find"]);
}
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones