From 5023ed01a3250d1fb3916347244dd4a1ea5c5b71 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Wed, 26 Oct 2022 18:56:01 +0200
Subject: [PATCH] remove unused logger

---
 web_controllers/language/language_management.anubis | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/web_controllers/language/language_management.anubis b/web_controllers/language/language_management.anubis
index 7e35736..3dfea1c 100644
--- a/web_controllers/language/language_management.anubis
+++ b/web_controllers/language/language_management.anubis
@@ -113,8 +113,7 @@ public define HTML_Partial_Content
   (
     String                      dictionary_collection_name,
     String                      lang,
-    Bool                        show_symbolic,
-    (LogLevel, String) -> One   logger
+    Bool                        show_symbolic
   ) =
   with make_line = (L3LangDicProperty dico_prop) |-> 
                     if dico_prop is l3LangDicProperty( _, sha1, lang_code, user_def, creat, update) then
@@ -158,5 +157,5 @@ public define HTML_Partial_Content
   with        lang = _session.language,
    app_dictionnary = get_dictionary(_session),
    
-  flags_menu(app_dictionnary, lang, show_symbolic, logger)
+  flags_menu(app_dictionnary, lang, show_symbolic)
 .
--
libgit2 0.21.4