From 3f4e647b1149bb333875c5bd88ba6610da3b2352 Mon Sep 17 00:00:00 2001
From: Engelbert Niehaus <niehausbert@gmail.com>
Date: Sat, 1 Jun 2024 11:46:27 +0200
Subject: [PATCH] Add files via upload

---
 docs/wiki2reveal_header.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/wiki2reveal_header.html b/docs/wiki2reveal_header.html
index bd1ca16..2c2cf9b 100644
--- a/docs/wiki2reveal_header.html
+++ b/docs/wiki2reveal_header.html
@@ -53,6 +53,7 @@
   </script>
 <!-- script src="js/links4wiki2reveal.js"></script -->
   <script src="db/wikipage_db.js"></script>
+  <script src="db/header4lang.js"></script>
   <script src="db/footer4lang.js"></script>
   <script src="db/page4demo.js"></script>
 </head>