« All Events

  • This event has passed.

Gnome Games

July 13, 2023 - July 16, 2023

6PM Daily

Board games will be set up in the entertainment building for people to play. Entertainment Building

Details

Organizer

Venue

} return null; } function inject(){ const container = findContainer(); if (!container) return; if (container.querySelector('.kcf-events-notice')) return; // avoid duplicates const bar = document.createElement('div'); bar.className = 'kcf-events-notice'; bar.setAttribute('role','status'); bar.setAttribute('aria-live','polite'); bar.textContent = msg; container.insertAdjacentElement('afterbegin', bar); } document.addEventListener('DOMContentLoaded', inject); // Re-inject when TEC swaps views/paginates via AJAX const mo = new MutationObserver(inject); mo.observe(document.body, { childList: true, subtree: true }); })();