// Auto-refresh for status pages (disabled by default, activate with data-autorefresh attribute)
document.addEventListener('DOMContentLoaded', () => {
  document.querySelectorAll('[data-autorefresh]').forEach(el => {
    const interval = el.dataset.autorefresh || 10000;
    setInterval(() => { location.reload(); }, interval);
  });
});
