blob: 807c4fd580ee8077697f9a7bc301f59e205c91e0 [file] [log] [blame]
window.addEventListener("load", _ => {
document.getElementById("showinvalidated").addEventListener("change", e => {
document.getElementById("show-invalidated-form").submit();
});
});