From 356b2582f3e6a43ecf2607acad4a7fe0b37f659a Mon Sep 17 00:00:00 2001 From: Bot Date: Tue, 3 Jan 2017 03:22:48 +0100 Subject: PPHDoc, formatting, fixes, cleanup --- includes/sys_menu.php | 27 ++++++++++++++++++++++++--- 1 file changed, 24 insertions(+), 3 deletions(-) (limited to 'includes/sys_menu.php') diff --git a/includes/sys_menu.php b/includes/sys_menu.php index 85a6db28..fe0d9c7c 100644 --- a/includes/sys_menu.php +++ b/includes/sys_menu.php @@ -1,6 +1,10 @@ 0)) { + if (count($room_menu) > 0) { $menu[] = toolbar_dropdown('map-marker', _("Rooms"), $room_menu); } return $menu; } +/** + * @return string + */ function make_menu() { return make_navigation(); -- cgit v1.2.3-54-g00ecf