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:54 10 mar 2021
No hay cambio en el tamaño
,
hace 3 años
sin resumen de edición
$("#filtro").on("keyup", function() {
var filterBy = this.value.toLowerCase().trim();
if(filterBy.length >
2
3
){
for (var abbr in abbrs) {
var li = abbrs[abbr];
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones