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 19:22 10 mar 2021
91 bytes añadidos
,
hace 3 años
sin resumen de edición
$(li).hide()
}
}
}else{
for (var abbr in abbrs) {
var li = abbrs[abbr];
$(li).show()
}
}
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones