# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1522132827 -7200
# Node ID 8d8b88bfddadc70aa6790da5c40b15bbf4564f8a
# Parent  ed67265205c469d88f4cfa9a21351de964eec587
pages: default menu update

diff -r ed67265205c4 -r 8d8b88bfddad src/server/constants.py
--- a/src/server/constants.py	Tue Mar 27 08:40:12 2018 +0200
+++ b/src/server/constants.py	Tue Mar 27 08:40:27 2018 +0200
@@ -58,7 +58,7 @@
     PAGES_ACCESS_ADMIN = u"admin"  # only profiles set in admins_list can access the page
     PAGES_ACCESS_ALL = (PAGES_ACCESS_NONE, PAGES_ACCESS_PUBLIC, PAGES_ACCESS_PROFILE, PAGES_ACCESS_ADMIN)
     # names of the page to use for menu
-    DEFAULT_MENU = ['login', 'chat', 'blog_view', 'forums', 'photos', 'files', 'app']
+    DEFAULT_MENU = ['login', 'chat', 'blog', 'forums', 'photos', 'files', 'tickets', 'merge-requests', 'app']
 
     ## Session flags ##
     FLAG_CONFIRM = u"CONFIRM"