(function(){const t=document.getElementById("filters");t&&t.addEventListener("change",e=>{e.target instanceof HTMLSelectElement&&(typeof t.requestSubmit=="function"?t.requestSubmit():t.submit())})})();