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:48 10 mar 2021
49 bytes añadidos
,
hace 3 años
sin resumen de edición
if($('.mw-category').length > 0){
var filtro = $('<div class="filtro
"><img src="/skins/Vector/images/search.png?39f97
"><input type="text" id="filtro" /></div>');
$('.mw-category').prepend(filtro);
listFilter($('#filtro'),$('.mw-category '));
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones