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 18:56 10 mar 2021
49 bytes añadidos
,
hace 3 años
sin resumen de edición
console.log(filterBy)
for (var abbr in abbrs) {
var li = abbrs[abbr];
if (abbr.indexOf(filterBy) !== -1) {
var
$(
li
= abbrs[abbr];
).show()
console.log(li)
// show li
}else{
$(li).hide()
}
}
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones