MediaWiki:Gadget-rc-hide-filters.js

Nota: tras guardar, quizás necesites actualizar la caché de tu navegador para ver los cambios.

• Firefox/Safari: Mantén presionada la tecla Mayús mientras pulsas el botón Actualizar, o presiona Ctrl+F5 o Ctrl+R (⌘+R en Mac)
• Google Chrome: presiona Ctrl+Shift+R (⌘+Mayús+R en Mac)
• Internet Explorer: mantén presionada Ctrl mientras pulsas Actualizar, o presiona Ctrl+F5
• Opera: dirígete a Menú → Configuración (Opera → Preferencias en Mac) y luego a Privacidad y seguridad → Borrar datos de navegación → Imágenes y archivos en caché.

///# hide the filter elements inside a <details> element
// TODO: move to structuredChangeFilters.ui.initialized ?
mw.hook( 'Special:RecentChanges' ).add(function rc_hide_filters() {
  const filters = document.querySelector('.rcfilters-head')
  const spinner = document.querySelector('.rcfilters-spinner')
  if (spinner.parentElement.classList.contains('fbstj-filter'))  return
  const new_el = document.createElement('details')
  const sum_el = document.createElement('summary')
  sum_el.textContent ='Filters'
  spinner.parentElement.insertBefore(new_el, spinner)
  new_el.append(sum_el, filters, spinner)
  new_el.classList.add('fbstj-filter')
  console.debug('gadget:', 'rc-hide-filters.js')
});