diff --git a/public/js/components/navigation/Navigation.js b/public/js/components/navigation/Navigation.js
index 951de33ce..9ca2ac67a 100644
--- a/public/js/components/navigation/Navigation.js
+++ b/public/js/components/navigation/Navigation.js
@@ -28,7 +28,8 @@ export const CoreNavigationCmpt = {
},
props: {
addHeaderMenuEntries: Object, // property used to add new header menu entries from another app/component
- addSideMenuEntries: Object // property used to add new side menu entries from another app/component
+ addSideMenuEntries: Object, // property used to add new side menu entries from another app/component
+ hideTopMenu: Boolean
},
data() {
return {
@@ -105,7 +106,7 @@ export const CoreNavigationCmpt = {
-