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 09:39 11 mar 2021
134 bytes añadidos
,
hace 3 años
sin resumen de edición
}
});
// Ponemos número de búsquedas:
for (var lt in abbrsLetters) {
var lnum = abbrsLetters[lt];
console.log(lt + ">" + lnum)
}
}
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones