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:36 22 oct 2020
2 bytes añadidos
,
hace 3 años
sin resumen de edición
var filter = $(this).val();
if(filter) {
$(list).find("
li
:not(:Contains(" + filter + "))").slideUp(function(){
if($(this).closest('.mw-category-group').find('li:visible').length == 0){
if($(this).closest('.mw-category-group').is(':visible')) {
C34nB3rmud3z
Burócratas
,
Administradores de interfaz
,
Administradores
26 180
ediciones