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:41 10 mar 2021
23 bytes añadidos
,
hace 3 años
sin resumen de edición
if($('#listwidget-1-nav').length > 0){
var filtro = $('<div class="filtro"><input type="text
" class="createboxInput
" id="filtro" /></div>');
$('#listwidget-1-nav').append(filtro);
DanielRenovatio
Administradores de interfaz
,
Administradores
740
ediciones