SYMBOL INDEX (20 symbols across 7 files)

FILE: src/main/resources/assets/js/auto-reload.js
  function connectToWs (line 3) | function connectToWs() {
  function reloadIfNeeded (line 32) | function reloadIfNeeded() {
  function showUpdatingSite (line 59) | function showUpdatingSite() {
  function hideUpdatingSite (line 64) | function hideUpdatingSite() {
  function showUpdateSiteError (line 69) | function showUpdateSiteError(content) {
  function hideUpdateSiteError (line 74) | function hideUpdateSiteError() {
  function showSite (line 79) | function showSite() {
  function hideSite (line 83) | function hideSite() {

FILE: src/main/resources/assets/js/header.js
  function redirect (line 1) | function redirect(event, value, href) {

FILE: src/main/resources/assets/js/modal.js
  function openModal (line 1) | function openModal(id) {
  function closeModal (line 5) | function closeModal(id) {

FILE: src/main/resources/assets/js/search.js
  function search (line 14) | function search(terms) {
  function clearResultElements (line 32) | function clearResultElements(div) {
  function createResultElement (line 38) | function createResultElement(result) {
  function createNoResultsElement (line 56) | function createNoResultsElement() {

FILE: src/main/resources/assets/js/svg-modal.js
  function resetPz (line 3) | function resetPz() {
  function openSvgModal (line 11) | function openSvgModal(id, svgId) {
  function closeSvgModal (line 31) | function closeSvgModal(id) {

FILE: src/main/resources/assets/js/toggle-theme.js
  function toggleTheme (line 10) | function toggleTheme() {

FILE: src/main/resources/assets/js/treeview.js
  function listree (line 1) | function listree() {