Configuración del sitio filtro para excluir plugins deshabilitados ahora que muchos más plugins se incluyen con el núcleo

[Moin]

Creo que también sería útil un filtro al buscar “todas las configuraciones del sitio” para excluir los resultados de los complementos deshabilitados.