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 13:54 10 feb 2021
2 bytes eliminados
,
hace 3 años
sin resumen de edición
if(params["search"]){
document.querySelectorAll(".mw-search-result-heading a").forEach(a => {
a.href = a.href + "?
search
find
="+params["search"];
});
}
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones