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 12:37 22 oct 2020
9 bytes eliminados
,
hace 3 años
sin resumen de edición
var filtro = $('<div class="filtro"><input type="text" id="filtro" /></div>');
$('.mw-category').prepend(filtro);
listFilter($('#filtro'),$('.mw-category
-group li
'));
}
});
C34nB3rmud3z
Burócratas
,
Administradores de interfaz
,
Administradores
26 180
ediciones