diff twisted/plugins/libervia_server.py @ 1359:2da573bf3f8b

server: new `menu_extra_json` configuration option: this option can be used tp extend the defaut menu without having to redefine it.
author Goffi <goffi@goffi.org>
date Mon, 28 Sep 2020 17:12:04 +0200
parents 334d044f2713
children c3dac1e11341
line wrap: on
line diff
--- a/twisted/plugins/libervia_server.py	Thu Sep 17 22:50:27 2020 +0200
+++ b/twisted/plugins/libervia_server.py	Mon Sep 28 17:12:04 2020 +0200
@@ -138,6 +138,7 @@
     ["vhosts_dict", None, {}, None],
     ["url_redirections_dict", None, {}, None],
     ["menu_json", None, {'': C.DEFAULT_MENU}, None],
+    ["menu_extra_json", None, {}, None],
     ["tickets_trackers_json", None, None, None],
     ["mr_handlers_json", None, None, None],
 ]