Cambios
Ir a la navegación
Ir a la búsqueda
← Edición anterior
Edición siguiente →
MediaWiki:Filtros.js
(ver código)
Revisión del 18:20 10 mar 2021
9 bytes añadidos
,
hace 3 años
sin resumen de edición
$("#filtro").on("keyup", function() {
var filterBy = this.value.toLowerCase().trim();
console.log
if
(filterBy
.length > 2
)
{
for (var abbr in abbrs) {
var li = abbrs[abbr];
}
}
}
});
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones
Menú de navegación
Herramientas personales
español
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
Espacios de nombres
Mensaje
Discusión
Variantes
Vistas
Leer
Ver código
Ver historial
Más
Buscar
Navegación
Portada
Conoce el libro
Descubre el diccionario
Autores
Obras
Buscar
Buscar por Autores
Buscar por Obras
Otras opciones
Últimas aportaciones
Herramientas
Páginas especiales
Versión para imprimir